eds.: Autexier, Serge ; Mantel, Heiko ; Merz, Stephan ; Nipkow, Tobias (2008)
Special Issue on Formal Modeling and Verification of Critical Systems.
Conference or Workshop Item, Bibliographie

eds.: Autexier, Serge ; Mantel, Heiko ; Merz, Stephan ; Nipkow, Tobias (2008)
Special Issue on Formal Modeling and Verification of Critical Systems.
Conference or Workshop Item, Bibliographie

eds.: Autexier, Serge ; Mantel, Heiko (2006)
Verify'06: Verification Workshop.
Conference or Workshop Item, Bibliographie

eds.: Autexier, Serge ; Cervesato, Iliano ; Mantel, Heiko (2005)
International Journal of Information Security : Special issue on FCS/Verify 2002.
4 (1-2)
Journal, Bibliographie

eds.: Autexier, Serge ; Mantel, Heiko (2002)
Proceedings of the Verification Workshop (VERIFY'02).
Book, Bibliographie

eds.: Autexier, Serge ; Mantel, Heiko (2001)
Proceedings of the Verification Workshop (VERIFY'01).
Book, Bibliographie

Autexier, Serge ; Hutter, Dieter ; Langenstein, Bruno ; Mantel, Heiko ; Rock, Georg ; Schairer, Axel ; Stephan, Werner ; Vogt, Roland ; Wolpers, Andreas (2000)
VSE: Formal Methods Meet Industrial Needs.
In: International Journal on Software Tools for Technology Transfer, 3 (1)
Article, Bibliographie

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel (1999)
System Description: INKA 5.0 -- A Logic Voyager.
Conference or Workshop Item, Bibliographie

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel
eds.: Bert, D. ; Choppy, C. ; Mosses, P. (1999)
Towards an evolutionary formal software-development using CASL -- ABSTRACT.
Conference or Workshop Item, Bibliographie

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel
eds.: Bert, Didier ; Choppy, C. ; Mosses, P. (1999)
Towards an evolutionary formal software-development using CASL: ABSTRACT.
In: Recent trends in algebraic development techniques : 14th International Workshop on Algebraic Development Techniques, WADT'99
Book Section, Bibliographie

Autexier, Serge ; Mantel, Heiko ; Stephan, Werner
eds.: Herzog, Otthein ; Günter, Andreas (1998)
Simultaneous Quantifier Elimination.
Conference or Workshop Item, Bibliographie

Autexier, Serge ; Mantel, Heiko (1998)
Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus.
Report, Bibliographie

Autexier, Serge ; Mantel, Heiko (1998)
Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus.
Report, Bibliographie