Formal software development in the Verification Support Environment (VSE).
J. Exp. Theor. Artif. Intell. Bd. 12. H. 4. 2000 S. 383 - 406
Erscheinungsjahr: 2000
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1080/095281300454784
| Geprüft: | Bibliothek |
Autoren
Hutter, Dieter (Autor)
Langenstein, Bruno (Autor)
H. Siekmann, Jörg (Autor)
Stephan, Werner (Autor)
Vogt, Roland (Autor)
