APA (7th ed.) Citation

Berry, G., Kishinevsky, M., & Singh, S. (2003). System level design and verification using a synchronous language. 2003 IEEE/ACM International Computer-Aided Design, 433-439. https://doi.org/10.1109/ICCAD.2003.159720

Chicago Style (17th ed.) Citation

Berry, G., M. Kishinevsky, and S. Singh. "System Level Design and Verification Using a Synchronous Language." 2003 IEEE/ACM International Computer-Aided Design 2003: 433-439. https://doi.org/10.1109/ICCAD.2003.159720.

MLA (9th ed.) Citation

Berry, G., et al. "System Level Design and Verification Using a Synchronous Language." 2003 IEEE/ACM International Computer-Aided Design, 2003, pp. 433-439, https://doi.org/10.1109/ICCAD.2003.159720.