Fu, Zheng; Smith, Graeme Property transformation under specification change. (English) Zbl 1267.68093 Front. Comput. Sci. China 5, No. 1, 1-13 (2011). MSC: 68N30 68Q60 03B70 PDFBibTeX XMLCite \textit{Z. Fu} and \textit{G. Smith}, Front. Comput. Sci. China 5, No. 1, 1--13 (2011; Zbl 1267.68093) Full Text: DOI
Yang, Lu; Zhou, Chaochen; Zhan, Naijun; Xia, Bican Recent advances in program verification through computer algebra. (English) Zbl 1267.68099 Front. Comput. Sci. China 4, No. 1, 1-16 (2010). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{L. Yang} et al., Front. Comput. Sci. China 4, No. 1, 1--16 (2010; Zbl 1267.68099) Full Text: DOI