A refinement method for Java programs

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Holger GrandyGND, Kurt StenzelGND, Wolfgang ReifORCiDGND
URN:urn:nbn:de:bvb:384-opus4-913296
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/91329
ISBN:978-3-540-72919-8OPAC
ISSN:0302-9743OPAC
Parent Title (English):Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, proceedings
Publisher:Springer
Place of publication:Berlin
Editor:Marcello M. Bonsangue, Einar Broch Johnsen
Type:Conference Proceeding
Language:English
Date of Publication (online):2021/12/12
Year of first Publication:2007
Publishing Institution:Universität Augsburg
Release Date:2021/12/13
First Page:221
Last Page:235
Series:Lecture Notes in Computer Science ; 4468
DOI:https://doi.org/10.1007/978-3-540-72952-5_14
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):Deutsches Urheberrecht