APA (7th ed.) Citation

Cao, Q., Cuellar, S., Appel, A. W., Hutchison, D., Kanade, T., Kittler, J., . . . Chang, B. E. (2017). Bringing Order to the Separation Logic Jungle. Programming Languages and Systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, 10695, 190-211. https://doi.org/10.1007/978-3-319-71237-6_10

Chicago Style (17th ed.) Citation

Cao, Qinxiang, et al. "Bringing Order to the Separation Logic Jungle." Programming Languages and Systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings 10695 (2017): 190-211. https://doi.org/10.1007/978-3-319-71237-6_10.

MLA (9th ed.) Citation

Cao, Qinxiang, et al. "Bringing Order to the Separation Logic Jungle." Programming Languages and Systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, vol. 10695, 2017, pp. 190-211, https://doi.org/10.1007/978-3-319-71237-6_10.