Proc. of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Book title Buchtitel
Proc. of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
LNCS 6605
Subject
Date issued
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Hoder, Krystof ; Kovacs, Laura ; Voronkov, Andrei | Invariant Generation in Vampire | Konferenzbeitrag Inproceedings  | 2011 |