Generating Hardware Assertion Checkers
MLA
Boulé, Marc, and Zeljko Zilic. Generating Hardware Assertion Checkers. Springer Netherlands, 2008.
APA
Boulé, M., & Zilic, Z. (2008). Generating Hardware Assertion Checkers. Springer Netherlands.
Chicago
Boulé, Marc, Marc Boulé, and Zeljko Zilic. Generating Hardware Assertion Checkers. : Springer Netherlands, 2008.