TU Darmstadt / ULB / TUbiblio

Integrating Object-Oriented Design and Deductive Verification of Software

Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter (2006):
Integrating Object-Oriented Design and Deductive Verification of Software.
In: Fourth IEEE Intl. Conference on Software Engineering and Formal Methods (SEFM), Pune, India, IEEE Computer Society, In: Fourth IEEE International Conference o Software Engineering and Formal Methods (SEFM 2006), Pune, India, 11-15 September 2006, DOI: 10.1109/SEFM.2006.25, [Online-Edition: https://doi.org/10.1109/SEFM.2006.25],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2006
Creators: Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter
Title: Integrating Object-Oriented Design and Deductive Verification of Software
Language: German
Title of Book: Fourth IEEE Intl. Conference on Software Engineering and Formal Methods (SEFM), Pune, India
Publisher: IEEE Computer Society
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: Fourth IEEE International Conference o Software Engineering and Formal Methods (SEFM 2006)
Event Location: Pune, India
Event Dates: 11-15 September 2006
Date Deposited: 31 Dec 2016 10:40
DOI: 10.1109/SEFM.2006.25
Official URL: https://doi.org/10.1109/SEFM.2006.25
Identification Number: BHS06b
Export:

Optionen (nur für Redakteure)

View Item View Item