TU Darmstadt / ULB / TUbiblio

Verification of Variable Software: an Experience Report

Bubel, Richard and Din, Crystal Chang and Hähnle, Reiner
Beckert, Bernhard and Marché, Claude (eds.) :

Verification of Variable Software: an Experience Report.
Pre-Proc. International Conference on Formal Verification of Object-Oriented Software (FoVeOOS), Paris, France
[Conference or Workshop Item] , (2010)

Item Type: Conference or Workshop Item
Erschienen: 2010
Editors: Beckert, Bernhard and Marché, Claude
Creators: Bubel, Richard and Din, Crystal Chang and Hähnle, Reiner
Title: Verification of Variable Software: an Experience Report
Language: German
Title of Book: Pre-Proc. International Conference on Formal Verification of Object-Oriented Software (FoVeOOS), Paris, France
Divisions: Department of Computer Science > Software Engineering
Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: BDH10
Related URLs:
Export:

Optionen (nur für Redakteure)

View Item View Item