TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 5.

Article

Autexier, Serge and Hutter, Dieter and Langenstein, Bruno and Mantel, Heiko and Rock, Georg and Schairer, Axel and Stephan, Werner and Vogt, Roland and Wolpers, Andreas (2000):
VSE: Formal Methods Meet Industrial Needs.
In: International Journal on Software Tools for Technology Transfer, Springer, pp. 66-77, 3, (1), ISSN 1433-2779,
[Online-Edition: https://link.springer.com/article/10.1007/s100099900022],
[Article]

Conference or Workshop Item

Hutter, Dieter and Mantel, Heiko and Rock, Georg and Stephan, Werner and Wolpers, Andreas and Balser, Michael and Reif, Wolfgang and Schellhorn, Gerhard and Stenzel, Kurt (1998):
VSE: Controlling the Complexity in Formal Software Developments.
In: International Workshop on Applied Formal Methods -- FM-Trends, Boppard, Germany, Springer, In: LNCS 1641, [Conference or Workshop Item]

Autexier, Serge and Mantel, Heiko and Stephan, Werner
Herzog, Otthein and Günter, Andreas (eds.) (1998):
Simultaneous Quantifier Elimination.
In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, Springer, In: LNAI 1504, [Conference or Workshop Item]

Hutter, Dieter and Mantel, Heiko and Rock, Georg and Stephan, Werner and Wolpers, Andreas and Balser, Michael and Reif, Wolfgang and Schellhorn, Gerhard and Stenzel, Kurt (1998):
VSE: Controlling the Complexity in Formal Software Developments.
In: International Workshop on Applied Formal Methods -- FM-Trends, Springer, In: LNCS 1641, [Conference or Workshop Item]

Hähnle, Reiner and Heisel, Maritta and Reif, Wolfgang and Stephan, Werner (1986):
An Interactive Verification System Based on Dynamic Logic.
In: Proc. 8th Conference on Automated Deduction {CADE}, Oxford, Springer-Verlag, In: LNCS, 230, DOI: 10.1007/3-540-16780-3_99,
[Online-Edition: https://doi.org/10.1007/3-540-16780-3_99],
[Conference or Workshop Item]

This list was generated on Sat Jul 20 00:24:46 2019 CEST.