Contributions to Proceedings:
J. Knoop:
"From Trusted Annotations to Verified Knowledge";
in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009) - Programm und Vortragskurzzusammenfassungen",
J. Knoop, A. Prantl (ed.);
issued by: Institut für Computersprachen, TU Wien;
Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-3,
Wien, Österreich,
2009,
13.
Related Projects:
Project Head Jens Knoop:
ALL-TIMES: Integration Europäischer Zeitanalyse Technologie
Created from the Publication Database of the Vienna University of Technology.