220518
SSMT-Lunch-Talk
Wir laden Sie herzlich zum nächsten Lunch-Talk ein. Dieser findet am 22.05.2018 von 13:15 bis 14:15 Uhr im Raum C407 statt.
Frau Olga Dedi wird einen Vortrag zum Thema “Formale Verifikation und Tests als Basis für High Integrity Software" halten.