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.
@inproceedings{Jones86:2,
title = {Software Development Based on Formal Methods},
author = {Cliff B. Jones},
year = {1986},
tags = {rule-based},
researchr = {https://researchr.org/publication/Jones86%3A2},
cites = {0},
citedby = {0},
pages = {153-172},
booktitle = {Software Development and Ada, CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings},
editor = {A. Nico Habermann and Ugo Montanari},
volume = {275},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-18341-8},
}