Talks and Poster Presentations (with Proceedings-Entry):
D. Damestani, L. Kovacs, M. Suda:
"Superposition Reasoning about Quantified Bitvector Formulas";
Talk: 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) 2019,
- 2019-09-07; in: "Proceedings of the 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2019",
H. Hong, D. Zaharie (ed.);
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.