GradNova
Automated Theorem Proving
1 faculty research Automated Theorem Proving on GradNova.
Associate Professor
Computer Science
Naval Postgraduate School