Hallo, ich werde morgen einen Probevortrag f=C3=BCr den "German Verification Day" = halten: 15.00 - 16h, Raum 00.09.055 (Alan Turing).=20 Norbert Schirmer: Titel: "The C0-Verification Environment" Vortrag: 25 min. Norbert=20