Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings
 
ISBN
9783662544334
 
Editor Herausgeber_in
 
Publisher Herausgeber
Springer Berlin
 
Place of publishing Erscheinungsort
Berlin, Heidelberg
 
DOI
10.1007/978-3-662-54434-1
 
Series Schriftenreihe
Lecture Notes in Computer Science
 
Volume Band
10201
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Jansen Christina - 2017 - Unified Reasoning About Robustness Properties of...pdf.jpgJansen, Christina ; Pagel, Jens ; Matheja, Christoph ; Noll, Thomas ; Zuleger, Florian Unified Reasoning About Robustness Properties of Symbolic-Heap Separation LogicInproceedings Konferenzbeitrag 2017