Formal Methods Newsgroups? VDM Newsgroups?

Article View: comp.specification.z

Article #94

Back to comp.specification.z Previous Next

#94

From: Bill Birch
Date: Wed, 18 Nov 1992 12:45

20 lines
1215 bytes

Are there newsgroups for formal methods in general, and VDM in particular?

Thanks in advance,

Bill


 Bill Birch             	|	B.Birch@uk03.bull.co.uk
 Bull Info. Sys. Ltd.   	|       Bull Tel: 773 4770
 Maxted Road,         		|	Bull Mail: HM14 UK03 
 Hemel Hempstead,        	|	Tel: +44 442 884770
 HERTS, HP2 7DZ, U.K.         	|	Fax: +44 442 884570
                Aviate, Navigate, Communicate...
--
 Bill Birch             	|	B.Birch@uk03.bull.co.uk
 Bull Info. Sys. Ltd.   	|       Bull Tel: 773 4367
 Maxted Road,         		|	Bull Mail: HM14 UK03 
 Hemel Hempstead,        	|	Tel: +44 442 884367
 HERTS, HP2 7DZ, U.K.         	|	Fax: +44 442 884570
                Aviate, Navigate, Communicate...

Technical Details

Message-ID: <1992Nov18.124510.9321@uk03.bull.co.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!think.com!cass.ma02.bull.com!pluto.uk03.bull.co.uk!bbirch

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification.z
Path: arc1-ca.pugleaf.net!sparky!uunet!think.com!cass.ma02.bull.com!pluto.uk03.bull.co.uk!bbirch
From: bbirch@hemel.bull.co.uk (Bill Birch)
Subject: Formal Methods Newsgroups? VDM Newsgroups?
Message-ID: <1992Nov18.124510.9321@uk03.bull.co.uk>
Summary: Are there newsgroups for formal methods in general, and VDM in particular?
Keywords: VDM
Sender: @uk03.bull.co.uk
Nntp-Posting-Host: brno
Organization: Bull HN UK
Date: Wed, 18 Nov 92 12:45:10 GMT
Lines: 20