A Formal Definition of VDM-SL. Andrews, D., Bruun, H., Damm, F., Dawes, J., Hansen, B., Larsen, P., Parkin, G., Plat, N., & Totenel, H. Technical Report 1998/9, Leicester University, June, 1998.
A Formal Definition of VDM-SL [pdf]Paper  bibtex   

Downloads: 0