Model checking using SMT and theory of lists
- Aleksandar Milicevic
- , Hillel Kugler
- Massachusetts Institute of Technology
- Microsoft USA
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
13
Scopus
citations