APA (7th ed.) Citation

Swasey, D., Garg, D., & Dreyer, D. (2017). Robust and compositional verification of object capability patterns. Proceedings of ACM on programming languages, 1(OOPSLA), 1-26. https://doi.org/10.1145/3133913

Chicago Style (17th ed.) Citation

Swasey, David, Deepak Garg, and Derek Dreyer. "Robust and Compositional Verification of Object Capability Patterns." Proceedings of ACM on Programming Languages 1, no. OOPSLA (2017): 1-26. https://doi.org/10.1145/3133913.

MLA (9th ed.) Citation

Swasey, David, et al. "Robust and Compositional Verification of Object Capability Patterns." Proceedings of ACM on Programming Languages, vol. 1, no. OOPSLA, 2017, pp. 1-26, https://doi.org/10.1145/3133913.