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