Semantics of the VDM Real-Time Dialect. Lausdahl, K., Coleman, J. W., & Larsen, P. G. Technical Report ECE-TR-13, Aarhus University, April, 2013.
Semantics of the VDM Real-Time Dialect [pdf]Paper  bibtex   

Downloads: 0