VDM -a formal method at work : proceedings - Bjorner D; VIM-Europe Symposium( 1987 : Belgium ); VIM-Europe Symposium , Belgium 1987 (Berlin Springer Verlag, 1987)
Keywords: software development; VDM