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