conf.researchr.org / John Toman
Not registered as user yet
Name:John Toman
Affiliation:Certora, inc.
Contributions
PEPM 2021 | Author of Counterexample Generation for Program Verification based on Ownership Refinement Types within the PEPM 2021-track |
Not registered as user yet
Contributions
PEPM 2021 | Author of Counterexample Generation for Program Verification based on Ownership Refinement Types within the PEPM 2021-track |