TU Darmstadt / ULB / TUbiblio

KeY: A Formal Method for Object-Oriented Systems

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter
Bonsangue, Marcello and Johnsen, Einar Broch (eds.) (2007):
KeY: A Formal Method for Object-Oriented Systems.
In: Proc. 9th IFIP Intl. Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS), Springer-Verlag, In: Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, In: LNCS, DOI: 10.1007/978-3-540-72952-5_2, [Online-Edition: https://doi.org/10.1007/978-3-540-72952-5_2],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2007
Editors: Bonsangue, Marcello and Johnsen, Einar Broch
Creators: Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Schmitt, Peter
Title: KeY: A Formal Method for Object-Oriented Systems
Language: English
Title of Book: Proc. 9th IFIP Intl. Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS)
Series Name: LNCS
Volume: 4468
Publisher: Springer-Verlag
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Date Deposited: 31 Dec 2016 10:40
DOI: 10.1007/978-3-540-72952-5_2
Official URL: https://doi.org/10.1007/978-3-540-72952-5_2
Identification Number: KeYFMOODS07
Export:

Optionen (nur für Redakteure)

View Item View Item