JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for VDM-FORUM Home Page


VDM-FORUM Home Page

VDM-FORUM Home Page


VDM-FORUM@JISCMAIL.AC.UK

LISTSERV Archives

LISTSERV Archives

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Help & Support


VDM-FORUM

Vienna Development Method (VDM)

Hide Latest Messages

***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


JiscMail Tools


RSS Feeds and Sharing


Advanced Options


Loading


WWW.JISCMAIL.AC.UK

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager