Article View: comp.lang.modula2
Article #4919Re: VDM & M2
From: rsutc
Date: Fri, 09 Feb 1990 17:48
Date: Fri, 09 Feb 1990 17:48
11 lines
934 bytes
934 bytes
The spec is indeed in VDM. A copy of the spec can be ordered from MODUS. I don't have anything I can transmit to you (easily) except perhaps by faxing. Rick Sutcliffe Associate Professor \ (89-90 only) Visitor Computing Science & Mathematics \ School of Computing Science Trinity Western University \ Simon Fraser University 7600 Glover Rd., \ Burnaby, B.C. Canada V5A 1S6 Langley B.C. Canada V3A 4R9 e-mail: Rick_Sutcliffe@cc.sfu.ca OR Compuserve 76475,3406 Chair: wg13 (modula-2) Canada
Technical Details
Message-ID:
<INFO-M2%90020914362168@UCF1VM.BITNET>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!clyde.concordia.ca!uunet!tut.cis.ohio-state.edu!ucbvax!CS.SFU.CA!rsutcShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!clyde.concordia.ca!uunet!tut.cis.ohio-state.edu!ucbvax!CS.SFU.CA!rsutc From: rsutc@CS.SFU.CA (rsutc) Newsgroups: comp.lang.modula2 Subject: Re: VDM & M2 Message-ID: <INFO-M2%90020914362168@UCF1VM.BITNET> Date: 9 Feb 90 17:48:08 GMT Sender: daemon@ucbvax.BERKELEY.EDU Reply-To: Modula2 List <INFO-M2%UCF1VM.BITNET@PSUVM.PSU.EDU> Organization: The Internet Lines: 11