15th International Conference on Integrated Formal Methods (iFM) 2019

View Statistics Email Alert RSS Feed

Description

Event name
15th International Conference on Integrated Formal Methods (iFM) 2019
 
Event type
Event for scientific audience
 
Start date
02-12-2019
End date
06-12-2019
 
Location
Bergen
Country
Norway
 
Event format Veranstaltungsformat
On Site

Publications Publikationen


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

PreviewAuthor(s)TitleTypeIssue Date
1Gleiss, Bernhard ; Kovács, Laura ; Schnedlitz, Lena Interactive Visualization of Saturation Attempts in VampireKonferenzbeitrag Inproceedings 2019