Connecting UML and VDM++ with Open Tool Support.

Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen

Browse the full FM paper archive.