Fingerprint
Dive into the research topics of 'A generic approach to the static analysis of concurrent programs with procedures'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A generic approach to the static analysis of concurrent programs with procedures
Ahmed Bouajjani, Javier Esparza, Tayssir Touili
Research output: Contribution to journal › Article › peer-review
17
Scopus
citations