Login / Signup

Compositional Bitvector Analysis for Concurrent Programs with Nested Locks.

Azadeh FarzanZachary Kincaid
Published in: SAS (2010)
Keyphrases
  • concurrent programs
  • web applications
  • knowledge based systems