Müller, Peter; Poetzsch-Heffter, Arnd; Leavens, Gary T. Modular invariants for layered object structures. (English) Zbl 1100.68539 Sci. Comput. Program. 62, No. 3, 253-286 (2006). MSC: 68N19 PDFBibTeX XMLCite \textit{P. Müller} et al., Sci. Comput. Program. 62, No. 3, 253--286 (2006; Zbl 1100.68539) Full Text: DOI Link
Müller, Peter; Poetzsch-Heffter, Arnd; Leavens, Gary T. Modular specification of frame properties in JML. (English) Zbl 1005.68583 Concurrency Comput. Pract. Exp. 15, No. 2, 117-154 (2003). MSC: 68U99 68N15 PDFBibTeX XMLCite \textit{P. Müller} et al., Concurrency Comput. Pract. Exp. 15, No. 2, 117--154 (2003; Zbl 1005.68583) Full Text: DOI Link