Decision procedures for region logic
- Stan Rosenberg
- , Anindya Banerjee
- , David A. Naumann
- Stevens Institute of Technology
- IMDEA Software Institute
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
7
Scopus
citations