Reference
VNX Language Reference
Authors: David Fernández (david at dit.upm.es) version 2.0, May 2013
Adapted from VNUML Language Reference Document.
VNX Language Reference
Authors: David Fernández (david at dit.upm.es) version 2.0, May 2013
Adapted from VNUML Language Reference Document.