JISCMail - VDM-FORUM List at WWW.JISCMAIL.AC.UK

Email discussion lists for the UK Education and Research communities

Subscriber's Corner

Email Lists

VDM-FORUM Home Page

VDM-FORUM@JISCMAIL.AC.UK

LISTSERV Archives

Options

Subscribe or Unsubscribe

Get Password

Privacy Policy

VDM-FORUM Privacy Policy

Important Information

1. Before using JiscMail, please read our terms and conditions: https://www.jiscmail.ac.uk/policyandsecurity/

2. For the purpose of GDPR: the list owners (those who manage the mailing list) are the Data Controllers. Jisc, who operate JiscMail, are Data Processors. See:https://www.jiscmail.ac.uk/policyandsecurity/#12

3.The privacy policy for this mailing list (link above) explains how your information is managed. Jisc's privacy notice is available here: https://www.jisc.ac.uk/website/privacy-notice

4. If you notice anyone misusing the service please inform JiscMail

Email JiscMail
Email the list owner(s)
Help using JiscMail

VDM-FORUM

Hide Latest Messages

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

Files Area | help

RSS Feeds and Sharing

Search Archives

Advanced Options

Search JiscMail open content

JiscMail is a Jisc service.

View our service policies at https://www.jiscmail.ac.uk/policyandsecurity/ and Jisc's privacy policy at https://www.jisc.ac.uk/website/privacy-notice

For help and support help@jisc.ac.uk