events
Detail
Publication date: 1 de June, 2021PSPL 2010, FLOC 2010 Workkshop on Proof Systems for Program Logics
Location | 10 July, Pre-LICS 2010 Workshop, Edinburgh, Scotland, UK |
---|---|
Startdate | 01/10/2009 |
Enddate | 10/07/2010 |
Location | 10 July, Pre-LICS 2010 Workshop, Edinburgh, Scotland, UK |
---|---|
Startdate | 01/10/2009 |
Enddate | 10/07/2010 |