International Symposium on Formal Methods

Event name
International Symposium on Formal Methods
 
Start date
22-06-2015
End date
25-06-2015
 
Location
Oslo, Norway
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Filter:
Author:  Wies, Thomas

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