TU Darmstadt / ULB / TUbiblio

Program Specialization Via a Software Verification Tool

Bubel, Richard and Hähnle, Reiner and Ji, Ran
Aichernig, Bernhard and de Boer, Frank and Bonsangue, Marcello (eds.) (2011):
Program Specialization Via a Software Verification Tool.
In: Post Conf. Proc. 9th International Symposium on Formal Methods for Components and Objects (FMCO), Springer-Verlag, In: LNCS, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2011
Editors: Aichernig, Bernhard and de Boer, Frank and Bonsangue, Marcello
Creators: Bubel, Richard and Hähnle, Reiner and Ji, Ran
Title: Program Specialization Via a Software Verification Tool
Language: German
Title of Book: Post Conf. Proc. 9th International Symposium on Formal Methods for Components and Objects (FMCO)
Series Name: LNCS
Publisher: Springer-Verlag
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: BHJ11
Export:

Optionen (nur für Redakteure)

View Item View Item