Path: utzoo!attcan!uunet!snorkelwacker!tut.cis.ohio-state.edu!ucbvax!UOGUELPH.BITNET!BOTCHAIR
From: BOTCHAIR@UOGUELPH.BITNET (Alex Bewley)
Newsgroups: comp.lang.modula2
Subject: VDM & M2
Message-ID: <INFO-M2%90020720131724@UCF1VM.BITNET>
Date: 8 Feb 90 01:02:42 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Reply-To: Modula2 List <INFO-M2%UCF1VM.BITNET@PSUVM.PSU.EDU>
Organization: The Internet
Lines: 12


    I have seen fleeting mentions of Modula having been defined in VDM.
  I have been doing a little reading about formal specifications for
  complex systems and VDM came up.
    Does anyone have examples of VDM code?  Especially as it pertains to
  languages.

      Alex

---------------------------------------------------
BOTCHAIR@UOGUELPH
Alex Bewley -- Just this guy...