C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology.
Yannick Zakowski
David Cachera
Delphine Demange
Gustavo Petri
David Pichardie
Suresh Jagannathan
Jan Vitek
Published in:
J. Autom. Reason. (2019)
Keyphrases
</>
conceptual framework
decision making
information retrieval
computer vision
information systems
website
decision trees
case study
bayesian networks