Cita APA (7a ed.)
Yang, L., Zhou, C., Zhan, N., & Xia, B. (Mar 2010). Recent advances in program verification through computer algebra. Frontiers of Computer Science in China. https://doi.org/10.1007/s11704-009-0074-7
Cita Chicago Style (17a ed.)
Yang, Lu, Chaochen Zhou, Naijun Zhan, y Bican Xia. "Recent Advances in Program Verification Through Computer Algebra." Frontiers of Computer Science in China Mar 2010. https://doi.org/10.1007/s11704-009-0074-7.
Cita MLA (9a ed.)
Yang, Lu, et al. "Recent Advances in Program Verification Through Computer Algebra." Frontiers of Computer Science in China, Mar 2010, https://doi.org/10.1007/s11704-009-0074-7.
Precaución: Estas citas no son 100% exactas.