Autor/in Autexier, Serge Mantel, Heiko 4 Hutter, Dieter 3 Schairer, Axel 3 Stephan, Werner 2 Langenstein, Bruno 1 Rock, Georg 1 Vogt, Roland 1 Wolpers, Andreas 1 alle zeigenListe einklappen
VSE: formal methods meet industrial needs Autexier, Serge Hutter, Dieter Langenstein, Bruno Mantel, Heiko Rock, Georg Schairer, Axel Stephan, Werner 2000 - TUHH Open Research
System description: Inka 5.0 - a logic voyager Autexier, Serge Hutter, Dieter Mantel, Heiko Schairer, Axel 1999 - TUHH Open Research
Towards an evolutionary formal software-development using CASL Autexier, Serge Hutter, Dieter Mantel, Heiko Schairer, Axel 1999 - TUHH Open Research
Simultaneous quantifier elimination Autexier, Serge Mantel, Heiko Stephan, Werner 1998 - TUHH Open Research