home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / specific / z / 470 < prev    next >
Encoding:
Internet Message Format  |  1992-11-19  |  1.0 KB
  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!saimiri.primate.wisc.edu!ames!agate!doc.ic.ac.uk!uknet!mucs!cliff
  2. From: cliff@cs.man.ac.uk (Cliff B Jones)
  3. Newsgroups: comp.specification.z
  4. Subject: Re: Formal Methods Newsgroups? VDM Newsgroups?
  5. Keywords: VDM
  6. Message-ID: <6806@m1.cs.man.ac.uk>
  7. Date: 19 Nov 92 17:46:52 GMT
  8. References: <1992Nov18.124510.9321@uk03.bull.co.uk>
  9. Sender: news@cs.man.ac.uk
  10. Organization: Dept Computer Science, University of Manchester, U.K.
  11. Lines: 18
  12.  
  13. In article <1992Nov18.124510.9321@uk03.bull.co.uk> bbirch@hemel.bull.co.uk (Bill Birch) writes:
  14. >Are there newsgroups for formal methods in general, and VDM in particular?
  15. >
  16. >Thanks in advance,
  17. >
  18. >Bill
  19. The general news froup is
  20.     comp.specification
  21.  
  22. I have never wanted to have a searate group for VDM (and voted agaist
  23. establishing one for Z). Having said that, the Z people in general
  24. (Bowen in particular) clearly provide a valuable service in
  25. comp.specification.z.
  26.  
  27. I try to answer VDM questions which do come up but am often a long way
  28. behind.
  29.  
  30. cliff jones
  31.