The Use of Formal Specification of Software
Subtitle: June 25-27, 1979, Berlin (Springer Series in Optical Sciences)
Publisher: Springer
Published: March 1981
Language: eng
Number of pages: 388
ISBN-13: 9780387104423