home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / specific / z / 468 < prev    next >
Encoding:
Text File  |  1992-11-17  |  1.2 KB  |  34 lines
  1. Newsgroups: comp.specification.z
  2. Path: sparky!uunet!think.com!cass.ma02.bull.com!pluto.uk03.bull.co.uk!bbirch
  3. From: bbirch@hemel.bull.co.uk (Bill Birch)
  4. Subject: Formal Methods Newsgroups? VDM Newsgroups?
  5. Message-ID: <1992Nov18.124510.9321@uk03.bull.co.uk>
  6. Summary: Are there newsgroups for formal methods in general, and VDM in particular?
  7. Keywords: VDM
  8. Sender: @uk03.bull.co.uk
  9. Nntp-Posting-Host: brno
  10. Organization: Bull HN UK
  11. Date: Wed, 18 Nov 92 12:45:10 GMT
  12. Lines: 20
  13.  
  14. Are there newsgroups for formal methods in general, and VDM in particular?
  15.  
  16. Thanks in advance,
  17.  
  18. Bill
  19.  
  20.  
  21.  Bill Birch                 |    B.Birch@uk03.bull.co.uk
  22.  Bull Info. Sys. Ltd.       |       Bull Tel: 773 4770
  23.  Maxted Road,                 |    Bull Mail: HM14 UK03 
  24.  Hemel Hempstead,            |    Tel: +44 442 884770
  25.  HERTS, HP2 7DZ, U.K.             |    Fax: +44 442 884570
  26.                 Aviate, Navigate, Communicate...
  27. --
  28.  Bill Birch                 |    B.Birch@uk03.bull.co.uk
  29.  Bull Info. Sys. Ltd.       |       Bull Tel: 773 4367
  30.  Maxted Road,                 |    Bull Mail: HM14 UK03 
  31.  Hemel Hempstead,            |    Tel: +44 442 884367
  32.  HERTS, HP2 7DZ, U.K.             |    Fax: +44 442 884570
  33.                 Aviate, Navigate, Communicate...
  34.