DMCA

Z.: Verification of parameterized concurrent programs by modular reasoning about data and control (2012)

by Azadeh Farzan , Zachary Kincaid
Venue:In: POPL’12
Citations:8 - 4 self