International Symposium on Formal Methods

View Statistics Email Alert RSS Feed

Description

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:
Date Issued:  [2000 TO 2024]
Author:  Lewis, Matt

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

PreviewAuthor(s)TitleTypeIssue Date
1Lewis, Matt ; Kroening, Daniel ; Weissenbacher, Georg Proving Safety with Trace Automata and Bounded Model CheckingKonferenzbeitrag Inproceedings 2015