Robert E. Fields, Morten Elvang-Gøransson. A VDM Case Study in ::::mural::::. IEEE Trans. Software Eng., 18(4):279-295, 1992. [doi]
@article{FieldsE92,
title = {A VDM Case Study in ::::mural::::},
author = {Robert E. Fields and Morten Elvang-Gøransson},
year = {1992},
url = {http://www.computer.org/tse/ts1992/e0279abs.htm},
tags = {case study, e-science},
researchr = {https://researchr.org/publication/FieldsE92},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {18},
number = {4},
pages = {279-295},
}