Talks and Poster Presentations (with Proceedings-Entry):
H. Veith:
"Friends or Foes? Communities in Software Verification";
Talk: Computer Science Logic (CSLī3),
Wien, Österreich (invited);
2003-08-25
- 2003-08-30; in: "Lecture Notes in Computer Science",
Spronger-Verlag Heidelberg,
Volume 2803 / 2003
(2003),
ISBN: 3-540-40801-0;
528
- 529.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968344
Created from the Publication Database of the Vienna University of Technology.