Software Development Based on Formal Methods

Cliff B. Jones. Software Development Based on Formal Methods. In A. Nico Habermann, Ugo Montanari, editors, Software Development and Ada, CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings. Volume 275 of Lecture Notes in Computer Science, pages 153-172, Springer, 1986.