APA (7th ed.) Citation

Meredith, P., Katelman, M., Meseguer, J., & Rosu, G. (2010, July). A formal executable semantics of Verilog. 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 179-188. https://doi.org/10.1109/MEMCOD.2010.5558634

Chicago Style (17th ed.) Citation

Meredith, Patrick, Michael Katelman, Jose Meseguer, and Grigore Rosu. "A Formal Executable Semantics of Verilog." 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign Jul. 2010: 179-188. https://doi.org/10.1109/MEMCOD.2010.5558634.

MLA (9th ed.) Citation

Meredith, Patrick, et al. "A Formal Executable Semantics of Verilog." 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign, Jul. 2010, pp. 179-188, https://doi.org/10.1109/MEMCOD.2010.5558634.