Autor/in Autexier, Serge Hutter, Dieter 1 Langenstein, Bruno 1 Mantel, Heiko Rock, Georg 1 Schairer, Axel 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
