Formal Software Development in the Verification Support Environment (VSE).
FLAIRS. 2000 S. 367 - 376
Erscheinungsjahr: 2000
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
| Geprüft: | Bibliothek |
Autoren
Hutter, Dieter (Autor)
H. Siekmann, Jörg (Autor)
Stephan, Werner (Autor)
Vogt, Roland (Autor)
