Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
B. Gleiss, L. Kovacs, L. Schnedlitz:
"Interactive Visualization of Saturation Attempts in Vampire";
Vortrag: 15th International Conference on Integrated Formal Methods (iFM) 2019,
Bergen, Norway;
02.12.2019
- 06.12.2019; in: "Proceedings of the 15th International Conference on Integrated Formal Methods (iFM) 2019",
W. Ahrendt, S. Lizeth (Hrg.);
Lecture Notes in Computer Science, Springer,
11918
(2019),
S. 504
- 513.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-34968-4_28
Elektronische Version der Publikation:
https://link.springer.com/chapter/10.1007%2F978-3-030-34968-4_28
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.