posted by user: afshinamighi || 2059 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

EuroPLoP 2019   24th European Conference on Pattern Languages of Programs