Talks and Poster Presentations (with Proceedings-Entry):
Y. Demyanova, H. Veith, F. Zuleger:
"On the concept of variable roles and its use in software analysis";
Talk: International Conference on Formal Methods in Computer-Aided Design (FMCAD),
Portland, OR, USA;
2013-10-20
- 2013-10-23; in: "FMCAD",
IEEE,
(2013),
ISBN: 978-0-9835678-3-7;
226
- 230.
Electronic version of the publication:
http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6679414
Created from the Publication Database of the Vienna University of Technology.