Liu, Zhiming; Morisset, Charles; Wang, Shuling A graph-based implementation for mechanized refinement calculus of OO programs. (English) Zbl 1325.68066 Davies, Jim (ed.) et al., Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8–11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19828-1/pbk). Lecture Notes in Computer Science 6527, 258-273 (2011). MSC: 68N30 68T15 PDF BibTeX XML Cite \textit{Z. Liu} et al., Lect. Notes Comput. Sci. 6527, 258--273 (2011; Zbl 1325.68066) Full Text: DOI
Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun Refinement and verification in component-based model-driven design. (English) Zbl 1178.68158 Sci. Comput. Program. 74, No. 4, 168-196 (2009). MSC: 68N99 68Q60 PDF BibTeX XML Cite \textit{Z. Chen} et al., Sci. Comput. Program. 74, No. 4, 168--196 (2009; Zbl 1178.68158) Full Text: DOI