The Formal Description Technique Estelle
Subtitle: Results of the Esprit Sedos Project
Publisher: Elsevier Science Ltd
Published: March 1989
Language: eng
Number of pages: 448
ISBN-13: 9780444871329