March 2009Tools for VDM in Industry1 Professor Peter Gorm Larsen Engineering College of Aarhus ([email protected]) [email protected] Also adjunct professor at Aarhus.
Industrial usage of VDM Dr Peter Gorm Larsen Associate Professor University College of Aarhus + PGL Consult.
March 2008Tools for VDM in Industry1 Professor Peter Gorm Larsen Engineering College of Aarhus ([email protected]) [email protected].
Semantics in Practice Dr Peter Gorm Larsen Associate Professor University College of Aarhus + PGL Consult [email protected].
March 2007Tools for VDM in Industry1 Peter Gorm Larsen.