A formal nethod (a networked formal method)
- Breuer, P.T.
- Pickin, S.
ISSN: 1614-5046, 1614-5054
Datum der Publikation: 2010
Ausgabe: 6
Nummer: 4
Seiten: 255-268
Art: Artikel
Zeitschrift:
Innovations in Systems and Software Engineering