Treffer: Formal methods
Titel:
Formal methods : proceedings / FME 2003, International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005. John Fitzgerald ... (ed.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2005
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 3582
alle Bände anzeigen
alle Bände anzeigen
RVK-Notation:
Schlagworte:
DOI:
10.1007/b27882