A Code Generation Platform for VDM. Jørgensen, P. W. V., Larsen, M., & Couto, L. In Battle, N. & Fitzgerald, J., editors, Proceedings of the 12th Overture Workshop, January, 2015. School of Computing Science, Newcastle University, UK, Technical Report CS-TR-1446.
A Code Generation Platform for VDM [pdf]Paper  bibtex   

Downloads: 0