44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)
Event name
44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)
Start date
18-01-2017
End date
20-01-2017
Location
Paris, France
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef | A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms | Konferenzbeitrag Inproceedings  | 2017 | |
| 2 | Kovacs, Laura ; Robillard, Simon ; Voronkov, Andrei ; Castagna, Giuseppe ; Gordon, Andrew D. | Coming to Terms with Quantified Reasoning | Konferenzbeitrag Inproceedings | 2017 |