APA (7th ed.) Citation

Kadry, W., Morad, R., Goryachev, A., Almog, E., & Krygowski, C. (2011). Facing the Challenge of New Design Features: An Effective Verification Approach. DAC: Annual ACM/IEEE Design Automation Conference, 842.

Chicago Style (17th ed.) Citation

Kadry, Wisam, Ronny Morad, Alex Goryachev, Eli Almog, and Christopher Krygowski. "Facing the Challenge of New Design Features: An Effective Verification Approach." DAC: Annual ACM/IEEE Design Automation Conference 2011: 842.

MLA (9th ed.) Citation

Kadry, Wisam, et al. "Facing the Challenge of New Design Features: An Effective Verification Approach." DAC: Annual ACM/IEEE Design Automation Conference, 2011, p. 842.