Yves Ledru, Pierre-Yves Schobbens. Applying VDM to large developments. In Mark Moriconi, editor, Conference proceedings on Formal methods in software development, Napa, California, USA, May 9-11, 1990. pages 55-58, ACM, 1990. [doi]
@inproceedings{LedruS90, title = {Applying VDM to large developments}, author = {Yves Ledru and Pierre-Yves Schobbens}, year = {1990}, doi = {10.1145/99571.99815}, url = {https://doi.org/10.1145/99571.99815}, researchr = {https://researchr.org/publication/LedruS90}, cites = {0}, citedby = {0}, pages = {55-58}, booktitle = {Conference proceedings on Formal methods in software development, Napa, California, USA, May 9-11, 1990}, editor = {Mark Moriconi}, publisher = {ACM}, }