5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP)

Event name
5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP)
 
Start date
20-01-2016
End date
22-01-2016
 
Location
Saint Petersburg, Florida, USA
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kotelnikov, Evgenii ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei ; Avigad, Jeremy ; Chlipala, Adam The vampire and the FOOLKonferenzbeitrag Inproceedings 2016