[comp.specification] Looking for users of Z and VDM

S.J.Raybould@fulcrum.bt.co.uk (Simon Raybould) (04/12/90)

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