VSE: formal methods meet industrial needs.
Int. J. Softw. Tools Technol. Transf. Bd. 3. H. 1. 2000 S. 66 - 77
Erscheinungsjahr: 2000
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/s100099900022
| Geprüft: | Bibliothek |
Autoren
Autexier, Serge (Autor)
Hutter, Dieter (Autor)
Langenstein, Bruno (Autor)
Mantel, Heiko (Autor)
Schairer, Axel (Autor)
Stephan, Werner (Autor)
Vogt, Roland (Autor)
Wolpers, Andreas (Autor)
