For anyone (practitioner, researcher, teacher) interested in formal specification & development of computing systems using the Vienna Development Method (VDM). Discussions, events & tools information, industrial & academic project reports. Respository for VDM Bibliography & Draft ISO Standard.
Type:
Discussion List
Digest Available:
No
Moderated:
No
Publisher:
John Fitzgerald
List Home Page
List Archive Page
TO SUBSCRIBE:
Send an e-mail message to the following address:
Place this text in the Body of the message: join vdm-forum
TO UNSUBSCRIBE:
Send an e-mail message to the following address:
Place this text in the Body of the message: leave vdm-forum
Disclaimer: This mailing list is not hosted or sponsored by TechMailings.com or Andover.Net. If you have questions regarding this mailing list please contact the list administrator.
Programming
