TY - Front. Comput. Sci. A1 - Wang LIN, Min WU, Zhengfeng YANG, Zhenbing ZENG T1 - Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods Y1 - 2014-04-24 JF - Frontiers of Computer Science JO - Front. Comput. Sci. SP - 192 EP - 202 VL - 8 IS - 2 UR - https://journal.hep.com.cn/fcs N1 - 10.1007/s11704-014-3150-6 ER -