City Research Online - Mural: A formal development support system

Mural: A formal development support system

Jones, C. B., Jones, K., Lindsay, P. A. & Moore, R. (1990). Mural: A formal development support system. London: Springer-Verlag.

Publication Type:	Book
Additional Information:	© The Authors.
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments:	School of Science & Technology > Computer Science > Software Reliability

Preview

PDF
Download (1MB) | Preview

Downloads per month over past year

Metadata

Altmetric

CORE (COnnecting REpositories)

Actions (login required)

Admin Login

Creators:	Jones, C. B. Jones, K. Lindsay, P. A. Moore, R.
Status:	Published
Refereed:	Yes
Publisher:	Springer-Verlag
URI:	https://openaccess.city.ac.uk/id/eprint/1970
Date available in CRO:	13 Dec 2012 16:55
Dates:	Date Event 1990 Published