Combining VDM with Executable Code

Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen. Combining VDM with Executable Code. In John Derrick, John A. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene, editors, Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Volume 7316 of Lecture Notes in Computer Science, pages 266-279, Springer, 2012. [doi]

Abstract

Abstract is missing.