TU-Wien-Informatiker Helmut Veith 45-jährig verstorben

Helmut Veith habe „Österreich zu einem Hotspot im Bereich Logik und Verifikation gemacht“, heißt es in einem Nachruf der TU Wien.