Proceedings of an ACM Conference on Proving Assertions about Programs, New Mexico State University, Las Cruces, New Mexico, January 1972.
Contributors: Association for Computing Machinery.
Series: SIGPLAN Notices -- Vol. 7, No. 1; SIGACT News -- No. 14
Publisher: New Mexico State University
Published: 1972
Place of publication: Las Cruces, New Mexico
Language: eng