Mural
Subtitle: a formal development support system
By: [edited by] C.B. Jones ... [et al.] ; with contributions from J. Bicarregui ... [et al.].
Contributors: Jones, C. B. 1944-
Publisher: Springer-Verlag
Published: 1991
Place of publication: London; New York
Language: eng
Number of pages: 421
Subjects: Mural (Computer file); Computer software -- Development.
Notes: Includes bibliographical references (p. [413]-421).