Proceedings of an ACM Conference on Proving Assertions about Programs

by Association for Computing Machinery., ACM Conference on Proving Assertions about Programs (1972 New Mexico State University)