Detail

Publication date: 1 de June, 2021

PSPL 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