25th International Conference, TACAS 2019

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
25th International Conference, TACAS 2019
 
Publisher Herausgeber
Springer
 

Publications Publikationen

Filter:
Author:  Sighireanu, Mihaela

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

PreviewAuthor(s)TitleTypeIssue Date
1Sighireanu, Mihaela ; Pagel, Jens ; Matheja, Christoph ; Noll, Thomas ; Zuleger, Florian SL-COMP: Competition of Solvers for Separation LogicKonferenzbeitrag Inproceedings 2019