[Back]


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.