Dokument-ID Dokumenttyp Verfasser/Autoren Herausgeber Haupttitel Abstract Auflage Verlagsort Verlag Erscheinungsjahr Seitenzahl Schriftenreihe Titel Schriftenreihe Bandzahl ISBN Quelle der Hochschulschrift Konferenzname Quelle:Titel Quelle:Jahrgang Quelle:Heftnummer Quelle:Erste Seite Quelle:Letzte Seite URN DOI Abteilungen OPUS4-36647 unpublished Kröning, Daniel; Margaria, Tiziana; Woodcock, Jim Untitled New York Springer 2011 4 Formal aspects of computing : the international journal of formal methods 23 5 585 588 10.1007/s00165-011-0201-8 Institut für Informatik und Computational Science