Login / Signup
The Case for Context-Bounded Verification of Concurrent Programs.
Shaz Qadeer
Published in:
SPIN (2008)
Keyphrases
</>
concurrent programs
context aware
source code
peer to peer