Login / Signup
Compositional Bitvector Analysis for Concurrent Programs with Nested Locks.
Azadeh Farzan
Zachary Kincaid
Published in:
SAS (2010)
Keyphrases
</>
concurrent programs
web applications
knowledge based systems