C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automated and Modular Refinement Reasoning for Concurrent Programs.
Chris Hawblitzel
Erez Petrank
Shaz Qadeer
Serdar Tasiran
Published in:
CAV (2) (2015)
Keyphrases
</>
concurrent programs
concurrent programming
knowledge base
process algebra
knowledge representation
general purpose
database
production rules