Beiträge in Tagungsbänden:
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 (Hrg.);
herausgegeben von: Institut für Computersprachen, TU Wien;
Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-3,
Wien, Österreich,
2009,
S. 13.
Zugeordnete Projekte:
Projektleitung Jens Knoop:
ALL-TIMES: Integration Europäischer Zeitanalyse Technologie
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.