39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

Event name
39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
 
Start date
22-01-2012
End date
28-01-2012
 
Location
Philadelphia, US
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Hoder, Krystof ; Kovacs, Laura ; Voronkov, Andrei Playing in the grey area of proofsKonferenzbeitrag Inproceedings 2012