Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology

MLA

Jan Vitek, et al. Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology. Nov. 2018. EBSCOhost, https://doi.org/10.1007/s10817-018-9489-x⟩.

APA

Jan Vitek, Gustavo Petri, Yannick Zakowski, Delphine Demange, David Cachera, Suresh Jagannathan, & David Pichardie. (2018). Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology. https://doi.org/10.1007/s10817-018-9489-x⟩

Chicago

Jan Vitek, Gustavo Petri, Yannick Zakowski, Delphine Demange, David Cachera, Suresh Jagannathan, and David Pichardie. 2018. “Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology,” November. doi:10.1007/s10817-018-9489-x⟩.