posted by user: afshinamighi || 2214 views || tracked by 5 users: [display]

CPP 2013 : Certified Programs and Proofs

FacebookTwitterLinkedInGoogle

Link: http://cpp2013.forge.nicta.com.au/
 
When Dec 9, 2013 - Dec 11, 2013
Where Melbourne, Australia
Abstract Registration Due May 30, 2013
Submission Deadline Jun 7, 2013
Categories    formal verification   mechanized verification
 

Call For Papers

[Empty]

Related Resources

CPP 2020   Certified Programs and Proofs
EuroPLoP 2020   25th European Conference on Pattern Languages of Programs
IWIL 2020   14th International Workshop on the Implementation of Logics - IWIL 2020
CEA 2020   Special Topics: Academic Administrative Leadership at CEA 2020