Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Book title Buchtitel
Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
 
ISBN
978-3-030-34967-7
 
Editor Herausgeber_in
 
Publisher Herausgeber
Springer
Lecture Notes in Computer Science, Springer
 
Place of publishing Erscheinungsort
Cham
11918
 
DOI
10.1007/978-3-030-34968-4
 
Series Schriftenreihe
Lecture Notes in Computer Science
 
Volume Band
11918
 

Publications Publikationen



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

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