Talks and Poster Presentations (with Proceedings-Entry):

I. Feinerer, G. Salzer:
"Automated Tools for Teaching Formal Software Verification";
Talk: Teaching Formal Methods, London; 2006-12-15; in: "Proceedings of Teaching Formal Methods 2006", P. Boca et al. (ed.); BCS, (2006), ISSN: 1477-9358; 5 pages.

Online library catalogue of the TU Vienna:

Electronic version of the publication:

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