APA (7th ed.) Citation

Beers, R. (2008). Pre-RTL Formal Verification: An Intel Experience. DAC: Annual ACM/IEEE Design Automation Conference, 806.

Chicago Style (17th ed.) Citation

Beers, Robert. "Pre-RTL Formal Verification: An Intel Experience." DAC: Annual ACM/IEEE Design Automation Conference 2008: 806.

MLA (9th ed.) Citation

Beers, Robert. "Pre-RTL Formal Verification: An Intel Experience." DAC: Annual ACM/IEEE Design Automation Conference, 2008, p. 806.

Warning: These citations may not always be 100% accurate.