Reference
VNX Language Reference
Authors: David Fernández (david at dit.upm.es) Fermín Galán (galan at dit.upm.es) version 2.0, May 2013
VNX Language Reference
Authors: David Fernández (david at dit.upm.es) Fermín Galán (galan at dit.upm.es) version 2.0, May 2013