Aktive Facetten Technische Universität Hamburg 1998 Balser, Michael Hutter, Dieter Schellhorn, Gerhard Stephan, Werner
Autor/in Balser, Michael Hutter, Dieter Mantel, Heiko 1 Reif, Wolfgang 1 Rock, Georg 1 Schellhorn, Gerhard Stenzel, Kurt 1 Stephan, Werner Wolpers, Andreas 1 alle zeigenListe einklappen
VSE: Controlling the complexity in formal software developments Hutter, Dieter Mantel, Heiko Rock, Georg Stephan, Werner Wolpers, Andreas Balser, Michael Reif, Wolfgang 1998 - TUHH Open Research
