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.
372, In: Proc. 5th International Verification Workshop (Verify) in connection with IJCAR Sidney, Australia, CEUR Workshop Proceedings, pp. 28--43, [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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item