ACM Conference on Proving Assertions about Programs (1972 Las Cruces, New Mexico)

• Proceedings of an ACM Conference on Proving Assertions about Programs, New Mexico State University, Las Cruces, New Mexico, January 1972