
Kontrolle für die Kontrollore
Maria Christakis von der TU Wien entwickelt Software zur Überprüfung anderer Software und erhält dafür nun einen hochdotierten ERC-Grant. (red/mich) Computersoftware muss möglichst korrekt funktionieren. Das erstreckt sich von Laptops oder … mehr