Reasoning about VDM developments using the VDM support tool in Mural.
Contributors: Ritchie, B.; Rutherford Appleton Laboratory.
Series: RAL -- 92-010
Publisher: Rutherford Appleton Laboratory
Published: 1992
Place of publication: Didcot
Language: eng