Hans Bruun;Bo Stig Hansen;Flemming M. Damm
-;-;-
An overview of the ISO/VDM-SL standard
ACM SIGPLAN Notices
Proving consistency of VDM models using HOL
Proceedings of the 2010 ACM Symposium on Applied Computing