Dang, Hoang-Hai, Jung, Jaehwang, Choi, Jaemin, Nguyen, Duc-Than, Mansky, William, Kang, Jeehoon, and Dreyer, Derek. Compass: strong and compositional library specifications in relaxed memory separation logic. Retrieved from https://par.nsf.gov/biblio/10376063. Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation . Web. doi:10.1145/3519939.3523451.

Dang, Hoang-Hai, Jung, Jaehwang, Choi, Jaemin, Nguyen, Duc-Than, Mansky, William, Kang, Jeehoon, & Dreyer, Derek. Compass: strong and compositional library specifications in relaxed memory separation logic. Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, (). Retrieved from https://par.nsf.gov/biblio/10376063. https://doi.org/10.1145/3519939.3523451

Dang, Hoang-Hai, Jung, Jaehwang, Choi, Jaemin, Nguyen, Duc-Than, Mansky, William, Kang, Jeehoon, and Dreyer, Derek. "Compass: strong and compositional library specifications in relaxed memory separation logic". Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (). Country unknown/Code not available. https://doi.org/10.1145/3519939.3523451. https://par.nsf.gov/biblio/10376063.

@article{osti_10376063,
place = {Country unknown/Code not available}, title = {Compass: strong and compositional library specifications in relaxed memory separation logic}, url = {https://par.nsf.gov/biblio/10376063}, DOI = {10.1145/3519939.3523451}, abstractNote = {}, journal = {Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation}, author = {Dang, Hoang-Hai and Jung, Jaehwang and Choi, Jaemin and Nguyen, Duc-Than and Mansky, William and Kang, Jeehoon and Dreyer, Derek}, }