Delta State University

Cover image for Proceedings.
Proceedings.
Title:
Proceedings.
Conference Author:
ACM Conference on Proving Assertions About Programs (1972 : New Mexico State University)
Publication:
New York : The Association for Computing Machinery, 1972.
Publication Date:
1972
Bibliography Note:
Includes bibliographical references.
Content Type:
text
Carrier Type:
volume
Added Corporate Author:
Association for Computing Machinery.

New Mexico State University.
Language:
English
Subject:
Programming (Mathematics) -- Congresses.
No. of Holds:

Instructional Resources Center     |      University Archives and Museum      |      Roberts-LaForge Library