A Code Generation Platform for VDM. Jørgensen, P.&nbsp;W.<nbsp>V., Larsen, M., & Couto, L.&nbsp;D. In Battle, N. & Fitzgerald, J., editors, Proceedings of the 12th Overture Workshop, Newcastle University, 21 June, 2014, 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