C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automatic lock insertion in concurrent programs.
Vineet Kahlon
Published in:
FMCAD (2012)
Keyphrases
</>
concurrent programs
concurrent programming
building blocks
database
databases
database systems