Not registered as user yet

Name:Jason R. Koenig
Affiliation:Stanford University, USA

Contributions

POPL 2022 Induction Duality: Primal-Dual Search for Invariants
Show activities from other conferences

Using general profile