Functional Verification of High Performance Adders in COQ

MLA

Xiaoyu Song, et al. “Functional Verification of High Performance Adders in COQ.” Journal of Applied Mathematics, Jan. 2014. EBSCOhost, https://doi.org/10.1155/2014/197252.

APA

Xiaoyu Song, Ming Gu, Jiaguang Sun, & Qian Wang. (2014). Functional Verification of High Performance Adders in COQ. Journal of Applied Mathematics. https://doi.org/10.1155/2014/197252

Chicago

Xiaoyu Song, Ming Gu, Jiaguang Sun, and Qian Wang. 2014. “Functional Verification of High Performance Adders in COQ.” Journal of Applied Mathematics, January. doi:10.1155/2014/197252.