Industrial usage of VDM Dr Peter Gorm Larsen Associate Professor University College of Aarhus + PGL Consult.
Semantics in Practice Dr Peter Gorm Larsen Associate Professor University College of Aarhus + PGL Consult [email protected].