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:

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