Autor/in Autexier, Serge Hutter, Dieter Mantel, Heiko 3 Schairer, Axel 3 Langenstein, Bruno 1 Rock, Georg 1 Stephan, Werner 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
Towards an evolutionary formal software-development using CASL Autexier, Serge Hutter, Dieter Mantel, Heiko Schairer, Axel 1999 - TUHH Open Research
System description: Inka 5.0 - a logic voyager Autexier, Serge Hutter, Dieter Mantel, Heiko Schairer, Axel 1999 - TUHH Open Research