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,
Timisoara, Romania;
2019-09-04
- 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.);
IEEE,
(2019),
ISBN: 978-1-7281-5724-5;
95
- 99.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1109/SYNASC49474.2019.00022
Created from the Publication Database of the Vienna University of Technology.