Login / Signup
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