TU Darmstadt / ULB / TUbiblio

Specification Predicates with Explicit Dependency Information

Bubel, Richard and Hähnle, Reiner and Schmitt, Peter
Beckert, Bernhard (ed.) (2008):
Specification Predicates with Explicit Dependency Information.
In: Proc. 5th International Verification Workshop (Verify) in connection with IJCAR Sidney, Australia, CEUR Workshop Proceedings, [Conference or Workshop Item]

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: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: BHS08
Export:

Optionen (nur für Redakteure)

View Item View Item