The Formal Description Technique Lotos
Subtitle: Results of the Esprit/Sedos Project
Contributors: Michel Diaz (Editor)
Publisher: North-Holland
Published: April 1989
Language: eng
Number of pages: 451
ISBN-13: 9780444872678