Overview of VDM-RT Constructs and Semantic Issues. Lausdahl, K., Verhoef, M., Larsen, P. G., & Wolff, S. In Pierce, K., Plat, N., & Wolf, S., editors, Proceedings of the 8th Overture Workshop, of Technical Report Series, pages 57–67, September, 2010.
Overview of VDM-RT Constructs and Semantic Issues [pdf]Paper  bibtex   1 download  

Downloads: 1