APA (7th ed.) Citation

Carbin, M., Misailovic, S., & Rinard, M. C. (2016). Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware. Communications of the ACM, 59(8), 83. https://doi.org/10.1145/2958738

Chicago Style (17th ed.) Citation

Carbin, Michael, Sasa Misailovic, and Martin C. Rinard. "Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware." Communications of the ACM 59, no. 8 (2016): 83. https://doi.org/10.1145/2958738.

MLA (9th ed.) Citation

Carbin, Michael, et al. "Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware." Communications of the ACM, vol. 59, no. 8, 2016, p. 83, https://doi.org/10.1145/2958738.