Interpreting Implicit VDM Specifications using ProB. Lausdahl, K., Ishikawa, H., & Larsen, P. G. In Proceedings of the 12th Overture Workshop, of Technical Report Series, pages 1–15, Jan, 2015. Computing Science, Newcastle University.
Interpreting Implicit VDM Specifications using ProB [pdf]Paper  bibtex   

Downloads: 0