TU Darmstadt / ULB / TUbiblio

A Machine-Verified Code Generator

Walther, Christoph ; Schweitzer, Stephan (2003)
A Machine-Verified Code Generator.
10th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-10). Almaty, Kazakhstan (22.09.2003-26.09.2003)
doi: 10.1007/978-3-540-39813-4_6
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2003
Autor(en): Walther, Christoph ; Schweitzer, Stephan
Art des Eintrags: Bibliographie
Titel: A Machine-Verified Code Generator
Sprache: Englisch
Publikationsjahr: 2003
Veranstaltungstitel: 10th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-10)
Veranstaltungsort: Almaty, Kazakhstan
Veranstaltungsdatum: 22.09.2003-26.09.2003
DOI: 10.1007/978-3-540-39813-4_6
Zugehörige Links:
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 30 Mär 2020 09:03
Letzte Änderung: 30 Mär 2020 09:03
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen