Anish Tondwalkar

Identifiers

• name variant Anish Tondwalkar 0.50 · backfill

Papers (1)

1. Refinement Reflection: Complete Verification with SMT cs.PL · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Niki Vazou 1 shared papers
• Philip Wadler 1 shared papers
• Ranjit Jhala 1 shared papers
• Ryan G. Scott 1 shared papers
• Ryan R. Newton 1 shared papers
• Vikraman Choudhury 1 shared papers