Shambwaditya Saha
Identifiers
No identifiers captured yet.
Papers (2)
- Invariant Synthesis for Incomplete Verification Engines cs.PL · 2017 · author #4
- A Decidable Fragment of Second Order Logic With Applications to Synthesis cs.LO · 2017 · author #3
Mentions
No mention provenance yet.
Frequent Coauthors
- P. Madhusudan 2 shared papers
- Daejun Park 1 shared papers
- Daniel Neider 1 shared papers
- Mahesh Viswanathan 1 shared papers
- Pranav Garg 1 shared papers
- Umang Mathur 1 shared papers