TY - Front. Comput. Sci. A1 - Lu YANG, Chaochen ZHOU, Naijun ZHAN, Bican XIA, T1 - Recent advances in program verification through computer algebra Y1 - 2010-03-05 JF - Frontiers of Computer Science JO - Front. Comput. Sci. SP - 1 EP - 16 VL - 4 IS - 1 UR - https://journal.hep.com.cn/fcs N1 - 10.1007/s11704-009-0074-7 ER -