Verification of parameterized concurrent programs by modular reasoning about data and control

Azadeh Farzan, Zachary Kincaid

Research output: Contribution to journalArticlepeer-review

9 Scopus citations

Fingerprint Dive into the research topics of 'Verification of parameterized concurrent programs by modular reasoning about data and control'. Together they form a unique fingerprint.

Engineering & Materials Science