Format:
1 Online-Ressource (27 Seiten)
Series Statement:
Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin Bericht-Nr. 2007-20
Additional Edition:
Erscheint auch als Druck-Ausgabe
Language:
English
Subjects:
Computer Science
Keywords:
Aspektorientierte Programmierung
;
Isabelle
;
HOL
;
Typsichere Sprache
;
Forschungsbericht
DOI:
10.14279/depositonce-10306
URN:
urn:nbn:de:101:1-2020062402133562849999
URL:
Volltext
(kostenfrei)
URL:
https://hdl.handle.net/11303/11422
URL:
https://nbn-resolving.org/urn:nbn:de:101:1-2020062402133562849999
URL:
https://d-nb.info/1212509285/34
Bookmarklink