FM 2016: Formal Methods
Book title Buchtitel
FM 2016: Formal Methods
Publisher Herausgeber
Lecture Notes in Computer Science/Springer
Place of publishing Erscheinungsort
9995
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Holzer, Andreas ; Schwartz-Narbonne, Daniel ; Tabaei Befrouei, Mitra ; Weissenbacher, Georg ; Wies, Thomas | Error Invariants for Concurrent Traces | Konferenzbeitrag Inproceedings  | 2016 |