Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!ames!pasteur!ucbvax!decwrl!sun!pitstop!sundc!seismo!uunet!mcvax!ukc!its63b!aipna!sean
From: sean@aipna.ed.ac.uk (Sean Matthews)
Newsgroups: comp.lang.modula2
Subject: info on formal spec of M2
Message-ID: <37@aipna.ed.ac.uk>
Date: 17 May 88 22:00:14 GMT
Reply-To: sean@uk.ac.ed.aipna.UUCP (Sean Matthews)
Organization: Dept. of AI, Edinburgh, UK
Lines: 12

a while ago someone mentioned that the modula2 spec was going
to be written in VDM.

Where do I get some details about this

thanks  Se\'an

Se\'an Matthews                   
Dept. of Artificial Intelligence JANET:sean%sin@uk.ac.ed.aiva
University of Edinburgh          ARPA: sean%uk.ac.ed.aiva@nss.cs.ucl.ac.uk
80 South Bridge                  UUCP: ...!mcvax!ukc!aiva!sean
EDINBURGH, EH1 1HN, Scotland