Fingerprint
Dive into the research topics of 'Theories, solvers and static analysis by abstract interpretation'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Theories, solvers and static analysis by abstract interpretation
Patrick Cousot, Radhia Cousot, Laurent Mauborgne
Research output: Contribution to journal › Article › peer-review