Cita APA (7a ed.)
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-93.
Cita Chicago Style (17a ed.)
Hawblitzel, Chris, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath Setty, y Brian Zill. "IronFleet: Proving Safety and Liveness of Practical Distributed Systems." Communications of the ACM 60, no. 7 (2017): 83-93.
Cita MLA (9a ed.)
Hawblitzel, Chris, et al. "IronFleet: Proving Safety and Liveness of Practical Distributed Systems." Communications of the ACM, vol. 60, no. 7, 2017, pp. 83-93.
Precaución: Estas citas no son 100% exactas.