APA (7th ed.) Citation

Siegel, M., Maggiore, A., & Pichler, C. (2009). Untwist Your Brain -- Efficient Debugging and Diagnosis of Complex Assertions. DAC: Annual ACM/IEEE Design Automation Conference, 644.

Chicago Style (17th ed.) Citation

Siegel, Michael, Adriana Maggiore, and Christian Pichler. "Untwist Your Brain -- Efficient Debugging and Diagnosis of Complex Assertions." DAC: Annual ACM/IEEE Design Automation Conference 2009: 644.

MLA (9th ed.) Citation

Siegel, Michael, et al. "Untwist Your Brain -- Efficient Debugging and Diagnosis of Complex Assertions." DAC: Annual ACM/IEEE Design Automation Conference, 2009, p. 644.