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

View Statistics Email Alert RSS Feed

Book details Buch-Details

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

Publications Publikationen

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

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