APA (7th ed.) Citation

Schwartz-Narbonne, D., Liu, F., Pondicherry, T., August, D., & Malik, S. (2011, July). Parallel assertions for debugging parallel programs. 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 181-190. https://doi.org/10.1109/MEMCOD.2011.5970525

Chicago Style (17th ed.) Citation

Schwartz-Narbonne, Daniel, Feng Liu, Tarun Pondicherry, David August, and Sharad Malik. "Parallel Assertions for Debugging Parallel Programs." 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign Jul. 2011: 181-190. https://doi.org/10.1109/MEMCOD.2011.5970525.

MLA (9th ed.) Citation

Schwartz-Narbonne, Daniel, et al. "Parallel Assertions for Debugging Parallel Programs." 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, Jul. 2011, pp. 181-190, https://doi.org/10.1109/MEMCOD.2011.5970525.