***This list has been retained 14/08/2014 no one can subscribe to this list and no one can post to this list – contact helpline@jiscmail.ac.uk for all enquiries regarding this list*** For practitioners, researchers and teachers interested in formal specification & development of computing systems and software using the Vienna Development Method (VDM). Discussions, events, tools, standards information, industrial & academic project reports. Info at http://www.csr.ncl.ac.uk/vdm