Verifying a Concurrent Garbage Collector using a Rely-Guarantee Methodology

MLA

Gustavo Petri, et al. Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology. Sept. 2017. EBSCOhost, https://doi.org/10.1007/978-3-319-66107-0_31⟩.

APA

Gustavo Petri, David Cachera, Delphine Demange, Jan Vitek, David Pichardie, Yannick Zakowski, & Suresh Jagannathan. (2017). Verifying a Concurrent Garbage Collector using a Rely-Guarantee Methodology. https://doi.org/10.1007/978-3-319-66107-0_31⟩

Chicago

Gustavo Petri, David Cachera, Delphine Demange, Jan Vitek, David Pichardie, Yannick Zakowski, and Suresh Jagannathan. 2017. “Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology,” September. doi:10.1007/978-3-319-66107-0_31⟩.