APA (7th ed.) Citation

Chen, G. (2010). Formalization of a Parameterized Parallel Adder within the Coq Theorem Prover. IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, 29(1), 149. https://doi.org/10.1109/TCAD.2009.2034346

Chicago Style (17th ed.) Citation

Chen, Gang. "Formalization of a Parameterized Parallel Adder Within the Coq Theorem Prover." IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems 29, no. 1 (2010): 149. https://doi.org/10.1109/TCAD.2009.2034346.

MLA (9th ed.) Citation

Chen, Gang. "Formalization of a Parameterized Parallel Adder Within the Coq Theorem Prover." IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, vol. 29, no. 1, 2010, p. 149, https://doi.org/10.1109/TCAD.2009.2034346.