Boogie meets regions: A verification experience report
- Anindya Banerjee
- , Mike Barnett
- , David A. Naumann
- Kansas State University
- Microsoft USA
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
14
Scopus
citations