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: SOFSEM 2013, Springer, In: LNCS, 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:

Optionen (nur für Redakteure)

View Item View Item