TU Darmstadt / ULB / TUbiblio

Specification Predicates with Explicit Dependency Information

Bubel, Richard ; Hähnle, Reiner ; 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
[ Konferenzveröffentlichung] , (2008)

Typ des Eintrags: Konferenzveröffentlichung ( nicht bekannt)
Erschienen: 2008
Herausgeber: Beckert, Bernhard
Autor(en): Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter
Titel: Specification Predicates with Explicit Dependency Information
Sprache: Deutsch
Buchtitel: Proc. 5th International Verification Workshop (Verify) in connection with IJCAR Sidney, Australia
Band: 372
Verlag: CEUR Workshop Proceedings
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik > Software Engineering
20 Fachbereich Informatik
Hinterlegungsdatum: 31 Dez 2016 10:40
ID-Nummer: BHS08
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen