Li, Zhao-Peng; Zhang, Yu; Chen, Yi-Yun A shape graph logic and a shape system. (English) Zbl 1296.68100 J. Comput. Sci. Technol. 28, No. 6, 1063-1084 (2013). MSC: 68Q60 68N30 68P05 68T15 PDFBibTeX XMLCite \textit{Z.-P. Li} et al., J. Comput. Sci. Technol. 28, No. 6, 1063--1084 (2013; Zbl 1296.68100) Full Text: DOI
Leino, K. Rustan M.; Müller, Peter Modular verification of static class invariants. (English) Zbl 1120.68377 Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 26-42 (2005). MSC: 68N19 68N30 PDFBibTeX XMLCite \textit{K. R. M. Leino} and \textit{P. Müller}, Lect. Notes Comput. Sci. 3582, 26--42 (2005; Zbl 1120.68377) Full Text: DOI