mural
Subtitle: A Formal Development Support System
Publisher: Springer
Published: Dec 30, 2011
Format: paperback
Number of pages: 440
ISBN-13: 9781447131816
Notes: Source title: mural: A Formal Development Support System