TU Darmstadt / ULB / TUbiblio

A Machine-Verified Code Generator

Walther, Christoph and Schweitzer, Stephan (2003):
A Machine-Verified Code Generator.
pp. 91-106, 10th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-10), Almaty, Kazakhstan, 22.-26. Sept., 2003, ISBN 978-3-540-20101-4,
DOI: 10.1007/978-3-540-39813-4_6,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2003
Creators: Walther, Christoph and Schweitzer, Stephan
Title: A Machine-Verified Code Generator
Language: English
ISBN: 978-3-540-20101-4
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
Event Title: 10th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-10)
Event Location: Almaty, Kazakhstan
Event Dates: 22.-26. Sept., 2003
Date Deposited: 30 Mar 2020 09:03
DOI: 10.1007/978-3-540-39813-4_6
Corresponding Links:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details