The Vienna Development Method
Subtitle: The Meta-Language (Lecture Notes in Computer Science Number 61)
Contributors: D. Bjorner (Editor); C. B. Jones (Editor)
Publisher: Springer-Verlag
Published: 1978
Language: eng
Format: Paperback
ISBN-13: 9780387087665