Talks and Poster Presentations (with Proceedings-Entry):
A. Gupta, L. Kovacs, B. Kragl, A. Voronkov:
"Extensional Crisis and Proving Identity";
Talk: Automated Technology for Verification and Analysis (ATVA),
Sydney, Australia;
2014-11-03
- 2014-11-07; in: "Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis (ATVA)",
F. Cassez, J. Raskin (ed.);
Lecture Notes in Computer Science, Springer Verlag,
8837
(2014),
ISBN: 978-3-319-11935-9;
185
- 200.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-11936-6_14
Created from the Publication Database of the Vienna University of Technology.