Talks and Poster Presentations (with Proceedings-Entry):
A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"From Trusted Annotations to Verified Knowledge";
Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009),
Maria Taferl;
2009-10-12
- 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)",
J. Knoop, A. Prantl (ed.);
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2009-X-1
(2009),
155
- 166.
Related Projects:
Project Head Raimund Kirner:
Compiler-Unterstützung für Zeitanalyse
Project Head Jens Knoop:
ALL-TIMES: Integration Europäischer Zeitanalyse Technologie
Created from the Publication Database of the Vienna University of Technology.