Talks and Poster Presentations (with Proceedings-Entry):
B. Gleiss, L. Kovacs, L. Schnedlitz:
"Interactive Visualization of Saturation Attempts in Vampire";
Talk: 15th International Conference on Integrated Formal Methods (iFM) 2019,
Bergen, Norway;
2019-12-02
- 2019-12-06; in: "Proceedings of the 15th International Conference on Integrated Formal Methods (iFM) 2019",
W. Ahrendt, S. Lizeth (ed.);
Lecture Notes in Computer Science, Springer,
11918
(2019),
504
- 513.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-34968-4_28
Electronic version of the publication:
https://link.springer.com/chapter/10.1007%2F978-3-030-34968-4_28
Created from the Publication Database of the Vienna University of Technology.