GradNova
Separation Logic
1 faculty research Separation Logic on GradNova.
Assistant Professor/Faculty Fellow of Computer Science
Computer Science
New York University