[Back]


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.