Fingerprint
Dive into the research topics of 'Modular set-based analysis from contracts'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Modular set-based analysis from contracts
Philippe Meunier, Robert Bruce Findler, Matthias Felleisen
Research output: Contribution to journal › Article › peer-review
8
Scopus
citations