Language design for reliable software
Subtitle: proceedingsof an ACM Conference
By: edited by David B. Wortman.
Contributors: Wortman, David Barkley.; Association for Computing Machinery.
Publisher: Association for Computing Machinery
Published: 1977
Place of publication: New York
Language: eng
Number of pages: 142