Dines Bjørner. The Vienna development method (VDM): Software specification & program synthesis. In Edward K. Blum, Manfred Paul, Satoru Takasu, editors, Mathematical Studies of Information Processing, Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978. Volume 75 of Lecture Notes in Computer Science, pages 326-359, Springer, 1978.
@inproceedings{Bjorner78:0,
title = {The Vienna development method (VDM): Software specification & program synthesis},
author = {Dines Bjørner},
year = {1978},
researchr = {https://researchr.org/publication/Bjorner78%3A0},
cites = {0},
citedby = {0},
pages = {326-359},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978},
editor = {Edward K. Blum and Manfred Paul and Satoru Takasu},
volume = {75},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-09541-1},
}