Mural: A Formal Development Support System
By: by C.B. Jones, K.D. Jones, P.A. Lindsay, R.D. Moore
Contributors: Jones, K. D.; Lindsay, P. A.; Moore, R. D.
Publisher: Springer London
Published: 1991
Place of publication: London
Language: eng
Format: [electronic resource] /
Number of pages: 421
ISBN-13: 9781447131809