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.
@inproceedings{DickL91,
title = {Integrating Structured and Formal Methods: A Visual Approach to VDM},
author = {Jeremy Dick and Jérôme Loubersac},
year = {1991},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/DickL91},
cites = {0},
citedby = {0},
pages = {37-59},
booktitle = {ESEC 91, 3rd European Software Engineering Conference, Milan, Italy, October 21-24, 1991, Proceedings},
editor = {Axel van Lamsweerde and Alfonso Fugetta},
volume = {550},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-54742-8},
}