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:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06587150
Electronic version of the publication:
http://publik.tuwien.ac.at/files/pub-inf_4453.pdf
Created from the Publication Database of the Vienna University of Technology.