Use of Formal Specification of Software
Subtitle: June 1979, Berlin
Publisher: Springer
Published: 1980
Language: eng
Number of pages: 390
ISBN-13: 9783540104421