Fingerprint
Dive into the research topics of 'The effect of concurrent programming idioms on verification: A position paper'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
The effect of concurrent programming idioms on verification: A position paper
David Harel, Guy Katz, Assaf Marron, Gera Weiss
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
19
Scopus
citations