TU Darmstadt / ULB / TUbiblio

Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks

de Gouw, Stijn and de Boer, Frank and Ahrendt, Wolfgang and Bubel, Richard (2013):
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
In: LNCS, In: SOFSEM 2013, Springer, pp. 207-219, DOI: 978-3-642-35843-2_19,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2013
Creators: de Gouw, Stijn and de Boer, Frank and Ahrendt, Wolfgang and Bubel, Richard
Title: Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks
Language: German
Title of Book: SOFSEM 2013
Series Name: LNCS
Number: 7741
Publisher: Springer
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Formal Methods in System Engineering
Date Deposited: 31 Dec 2016 10:40
DOI: 978-3-642-35843-2_19
Identification Number: TUD-CS-2013-0088
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item