TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 5.

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)

Hutter, Dieter ; Mantel, Heiko ; Rock, Georg ; Stephan, Werner ; Wolpers, Andreas ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt :
VSE: Controlling the Complexity in Formal Software Developments.
In: LNCS 1641 . Springer , Boppard, Germany
[Konferenz- oder Workshop-Beitrag], (1998)

Autexier, Serge ; Mantel, Heiko ; Stephan, Werner
Herzog, Otthein ; Günter, Andreas (eds.) :

Simultaneous Quantifier Elimination.
In: LNAI 1504 . Springer , Bremen, Germany
[Konferenz- oder Workshop-Beitrag], (1998)

Hutter, Dieter ; Mantel, Heiko ; Rock, Georg ; Stephan, Werner ; Wolpers, Andreas ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt :
VSE: Controlling the Complexity in Formal Software Developments.
In: LNCS 1641 . Springer
[Konferenz- oder Workshop-Beitrag], (1998)

Hähnle, Reiner ; Heisel, Maritta ; Reif, Wolfgang ; Stephan, Werner :
An Interactive Verification System Based on Dynamic Logic.
[Online-Edition: https://doi.org/10.1007/3-540-16780-3_99]
In: LNCS , 230 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (1986)

Diese Liste wurde am Tue May 22 03:15:58 2018 CEST generiert.