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:

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