Cita APA (7a ed.)
Schneider, F. B. (2017). Technical Perspective IronFleet Simplifies Proving Safety and Liveness Properties. Communications of the ACM, 60(7), 82-83.
Cita Chicago Style (17a ed.)
Schneider, Fred B. "Technical Perspective IronFleet Simplifies Proving Safety and Liveness Properties." Communications of the ACM 60, no. 7 (2017): 82-83.
Cita MLA (9a ed.)
Schneider, Fred B. "Technical Perspective IronFleet Simplifies Proving Safety and Liveness Properties." Communications of the ACM, vol. 60, no. 7, 2017, pp. 82-83.
Precaución: Estas citas no son 100% exactas.