APA (7th ed.) Citation

Hawblitzel, C., Howell, J., Kapritsos, M., Lorch, J. R., Parno, B., Roberts, M. L., . . . Zill, B. (2017). IronFleet: Proving Safety and Liveness of Practical Distributed Systems. Communications of the ACM, 60(7), 83. https://doi.org/10.1145/3068608

Chicago Style (17th ed.) Citation

Hawblitzel, Chris, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath Setty, and Brian Zill. "IronFleet: Proving Safety and Liveness of Practical Distributed Systems." Communications of the ACM 60, no. 7 (2017): 83. https://doi.org/10.1145/3068608.

MLA (9th ed.) Citation

Hawblitzel, Chris, et al. "IronFleet: Proving Safety and Liveness of Practical Distributed Systems." Communications of the ACM, vol. 60, no. 7, 2017, p. 83, https://doi.org/10.1145/3068608.