APA (7th ed.) Citation

Basin, D., Foster, N., McMillan, K. L., Namjoshi, K. S., Nita-Rotaru, C., Smith, J. M., . . . Zuck, L. D. (2025). It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols. Communications of the ACM, 68(8), 50. https://doi.org/10.1145/3706572

Chicago Style (17th ed.) Citation

Basin, David, Nate Foster, Kenneth L. McMillan, Kedar S. Namjoshi, Cristina Nita-Rotaru, Jonathan M. Smith, Pamela Zave, and Lenore D. Zuck. "It Takes a Village: Bridging the Gaps Between Current and Formal Specifications for Protocols." Communications of the ACM 68, no. 8 (2025): 50. https://doi.org/10.1145/3706572.

MLA (9th ed.) Citation

Basin, David, et al. "It Takes a Village: Bridging the Gaps Between Current and Formal Specifications for Protocols." Communications of the ACM, vol. 68, no. 8, 2025, p. 50, https://doi.org/10.1145/3706572.