Article View: comp.specification.z
Article #96Re: Formal Methods Newsgroups? VDM Newsgroups?
From: Cliff B Jones
Date: Thu, 19 Nov 1992 17:46
Date: Thu, 19 Nov 1992 17:46
18 lines
1067 bytes
1067 bytes
In article <1992Nov18.124510.9321@uk03.bull.co.uk> bbirch@hemel.bull.co.uk (Bill Birch) writes: >Are there newsgroups for formal methods in general, and VDM in particular? > >Thanks in advance, > >Bill The general news froup is comp.specification I have never wanted to have a searate group for VDM (and voted agaist establishing one for Z). Having said that, the Z people in general (Bowen in particular) clearly provide a valuable service in comp.specification.z. I try to answer VDM questions which do come up but am often a long way behind. cliff jones
Technical Details
Message-ID:
<6806@m1.cs.man.ac.uk>Path:
arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!saimiri.primate.wisc.edu!ames!agate!doc.ic.ac.uk!uknet!mucs!cliffReferences:
<1992Nov18.124510.9321@uk03.bull.co.uk>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!saimiri.primate.wisc.edu!ames!agate!doc.ic.ac.uk!uknet!mucs!cliff From: cliff@cs.man.ac.uk (Cliff B Jones) Newsgroups: comp.specification.z Subject: Re: Formal Methods Newsgroups? VDM Newsgroups? Keywords: VDM Message-ID: <6806@m1.cs.man.ac.uk> Date: 19 Nov 92 17:46:52 GMT References: <1992Nov18.124510.9321@uk03.bull.co.uk> Sender: news@cs.man.ac.uk Organization: Dept Computer Science, University of Manchester, U.K. Lines: 18