Laura KOVÁCS

Projekt-Nummer
T-425

Projekt-Titel
Computeralgebra und Theorembeweis für verifizierte Software

Forschungsstätte
Technische Universität Wien
Institut für Computersprachen

Laufzeit
01.04.2010 bis 31.03.2013

Zurück zur Übersicht