Integrating Theories and Techniques for Program Modelling, Design and Verification

B. K. Aichernig, H. Jifeng, Z. Liu, and M. Reed

Abstract:

Reference: B. K. Aichernig, H. Jifeng, Z. Liu, and M. Reed. Integrating theories and techniques for program modelling, design and verification. In Verified Software: Theories, Tools, Experiments, volume 4171 of Lecture Notes in Computer Science, pages 291-300. Springer-Verlag, Berlin, Heidelberg, 2008.