Treffer: Formal methods
Titel:
Formal methods : proceedings / FM '99, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 / Jeannette M. Wing ... (ed.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; ...
Bände:
Schlagworte: