Katalin FAZEKAS

Projekt-Nummer
T-1306

Projekt-Titel
Inkrementelles SAT und SMT für skalierbare Verifikation

Forschungsstätte
Technische Universität Wien
Institute of Logic and Computation

Laufzeit
01.10.2021 bis 30.09.2024

Zurück zur Übersicht