Formal software engineering

Carl A. Gunter, Elsa L. Gunter, Pamela Zave. Formal software engineering. ACM SIGSOFT Software Engineering Notes, 25(1):54, 2000. [doi]

Abstract

Abstract is missing.