C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Detecting race conditions in large programs.
Cormac Flanagan
Stephen N. Freund
Published in:
PASTE (2001)
Keyphrases
</>
sufficient conditions
information systems
bayesian networks
wide range
image processing
web services
expert systems
automatic detection
computer programs
environmental conditions