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: LNCS, 4468, In: Proc. 9th IFIP Intl. Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS), pp. 32-43,
Springer-Verlag, Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, DOI: 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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details