Book 1991

mural: A Formal Development Support System

ISBN: 978-3-540-19651-8 (Print) 978-1-4471-3180-9 (Online)