Reasoning about linear constraints using parametric queries
- Tien Huynh
- , Leo Joskowicz
- , Catherine Lassez
- , Jean Louis Lassez
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
7
Scopus
citations