search

overturetool / overturetool.github.io

The Overture Tool Website
http://overturetool.org
3 stars 6 forks source link

41-1: Video on Deploying VDM #14

Closed lausdahl closed 9 years ago

lausdahl commented 9 years ago

Created: 6 February 2010 (see [[Net Meeting 41]])

-Owner: Peter Gorm Larsen

-Prepare new materials on how VDM fits into industrial development practice. This is to be aimed at a lay "manager" readership. Contributors: MV, JSF, NB and PGL.