Mural: A Formal Development Support System

by: C. B. Jones · P. A. Lindsay · R. Moore

Paperback

details (United States).

ISBN: 978-0-387-19651-0

ISBN-10: 0-387-19651-X

Springer Verlag · 1991