Sound and Automated Deductive Verifiers
1 faculty research Sound and Automated Deductive Verifiers on GradNova.
T
Assistant Professor/Faculty Fellow of Computer Science
1 faculty research Sound and Automated Deductive Verifiers on GradNova.
Assistant Professor/Faculty Fellow of Computer Science