Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!uunet!mcsun!ukc!axion!masalla.fulcrum.bt.co.uk!sie
From: S.J.Raybould@fulcrum.bt.co.uk (Simon Raybould)
Newsgroups: comp.specification
Subject: Looking for users of Z and VDM
Message-ID: <ZXQ#L-$@masalla.fulcrum.bt.co.uk>
Date: 12 Apr 90 16:02:35 GMT
Reply-To: sie@fulcrum.bt.co.uk (Simon Raybould)
Organization: BT Fulcrum, Birmingham, England
Lines: 3


We are considering adopting a specification language such as VDM or Z
and are looking for any advice.