TU Darmstadt / ULB / TUbiblio

VSE: Formal Methods Meet Industrial Needs

Autexier, Serge ; Hutter, Dieter ; Langenstein, Bruno ; Mantel, Heiko ; Rock, Georg ; Schairer, Axel ; Stephan, Werner ; Vogt, Roland ; Wolpers, Andreas
B.~Steffen, ; W.~R.~Cleaveland, ; M.~Dwyer, ; P.~Pomberger, ; T.~Margaria, (eds.) :

VSE: Formal Methods Meet Industrial Needs.
In: Special Issue on Mechanized Theorem Proving for Technology Transfer of the STTT-Springer International Journal on Software Tools for Technology Transfer, 3 (1) pp. 66-77.
[Artikel], (2000)

Typ des Eintrags: Artikel
Erschienen: 2000
Herausgeber: B.~Steffen, ; W.~R.~Cleaveland, ; M.~Dwyer, ; P.~Pomberger, ; T.~Margaria,
Autor(en): Autexier, Serge ; Hutter, Dieter ; Langenstein, Bruno ; Mantel, Heiko ; Rock, Georg ; Schairer, Axel ; Stephan, Werner ; Vogt, Roland ; Wolpers, Andreas
Titel: VSE: Formal Methods Meet Industrial Needs
Sprache: Deutsch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Special Issue on Mechanized Theorem Proving for Technology Transfer of the STTT-Springer International Journal on Software Tools for Technology Transfer
Band: 3
(Heft-)Nummer: 1
Verlag: Springer
Fachbereich(e)/-gebiet(e): Fachbereich Informatik > Modellierung und Analyse von Informationssystemen
Fachbereich Informatik
Hinterlegungsdatum: 09 Apr 2010 14:10
Zusätzliche Informationen:

ar:vsegroup2000a

Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen