Mitesh Jain

Identifiers

• name variant Mitesh Jain 0.60 · backfill

Papers (3)

1. An Efficient Runtime Validation Framework based on the Theory of Refinement cs.LO · 2017 · author #1
2. Skipping Refinement cs.LO · 2015 · author #1
3. Verification of Sequential Circuits by Tests-As-Proofs Paradigm cs.LO · 2013 · author #2

Mentions

• 1502.02942 #1 · backfill · confidence 0.70 Mitesh Jain
• 1308.0583 #2 · backfill · confidence 0.70 Mitesh Jain

Frequent Coauthors

• Panagiotis Manolios 3 shared papers
• Eugene Goldberg 1 shared papers