Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12

Book title Buchtitel
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12
 
Editor Herausgeber_in
 
Publisher Herausgeber
ACM
 

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