TU Darmstadt / ULB / TUbiblio

Specification Predicates with Explicit Dependency Information

Bubel, Richard and Hähnle, Reiner and Schmitt, Peter
Beckert, Bernhard (ed.) :

Specification Predicates with Explicit Dependency Information.
Proc. 5th International Verification Workshop (Verify) in connection with IJCAR Sidney, Australia CEUR Workshop Proceedings
[Conference or Workshop Item] , (2008)

Item Type: Conference or Workshop Item
Erschienen: 2008
Editors: Beckert, Bernhard
Creators: Bubel, Richard and Hähnle, Reiner and Schmitt, Peter
Title: Specification Predicates with Explicit Dependency Information
Language: German
Title of Book: Proc. 5th International Verification Workshop (Verify) in connection with IJCAR Sidney, Australia
Volume: 372
Publisher: CEUR Workshop Proceedings
Divisions: Department of Computer Science > Software Engineering
Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: BHS08
Export:

Optionen (nur für Redakteure)

View Item View Item