Integrating Structured and Formal Methods: A Visual Approach to VDM

Jeremy Dick, Jérôme Loubersac. Integrating Structured and Formal Methods: A Visual Approach to VDM. In Axel van Lamsweerde, Alfonso Fugetta, editors, ESEC 91, 3rd European Software Engineering Conference, Milan, Italy, October 21-24, 1991, Proceedings. Volume 550 of Lecture Notes in Computer Science, pages 37-59, Springer, 1991.

Abstract

Abstract is missing.