A theoretical foundation for software engineering: A model calculus

Dewayne E. Perry. A theoretical foundation for software engineering: A model calculus. In 2nd SEMAT Workshop on a General Theory of Software Engineering, GTSE 2013, San Francisco, CA, USA, May 26, 2013. pages 39-46, IEEE Computer Society, 2013. [doi]

Abstract

Abstract is missing.