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, pp. 207-219,
Springer, 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 |
Options (only for editors)
![]() |
Show editorial Details |