Formal Methods Newsgroups? VDM Newsgroups?

Thread View: comp.specification.z

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by Bill Birch Wed, 18 Nov 1992 12:45

#94

Author: 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...

Re: Formal Methods Newsgroups? VDM Newsgroups?

#96

Author: Cliff B Jones
Date: Thu, 19 Nov 1992 17:46

18 lines
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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads