Control-flow refinement and progress invariants for bound analysis
- Sumit Gulwani
- , Sagar Jain
- , Eric Koskinen
- Microsoft USA
- Indian Institute of Technology Kanpur
Research output: Contribution to journal › Article › peer-review
62
Scopus
citations