Book title Buchtitel
FM 2016: Formal Methods
 
Publisher Verlag
Lecture Notes in Computer Science/Springer
 
Place of publishing Erscheinungsort
9995
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Holzer, Andreas ; Schwartz-Narbonne, Daniel ; Tabaei Befrouei, Mitra ; Weissenbacher, Georg ; Wies, Thomas Error Invariants for Concurrent TracesKonferenzbeitrag Inproceedings 2016