Applied Formal Methods
1 faculty research Applied Formal Methods on GradNova.
C
Professor, Computer Science; Affiliated Professor, Psychology and Human Factors
1 faculty research Applied Formal Methods on GradNova.
Professor, Computer Science; Affiliated Professor, Psychology and Human Factors