[Back]


Talks and Poster Presentations (without Proceedings-Entry):
J. Knoop:
"From Trust to Proof - Beyond Verifying Functional Program Properties";
Talk: Informatik-Kolloquium, Universität Siegen, Siegen, Deutschland (invited); 2009-10-26.

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