[Back]


Talks and Poster Presentations (without Proceedings-Entry):
P. Georgiou, B. Gleiss, L. Kovacs, M. Maffei:
"Trace Reasoning for Formal Verification using the First-Order Superposition Calculus";
Poster: FMCAD 2019 Student Forum, San Jose, US; 2019-10-22 - 2019-10-25.

Electronic version of the publication:
https://fmcad.forsyte.at/FMCAD19/student/19.tracereasoning-poster.pdf

Created from the Publication Database of the Vienna University of Technology.