ACM Conference on Proving Assertions About Programs La Cruces, New Mexico, & ACM Special Interest Group for Algorithms and Computation Theory. (1972). Proceedings of ACM Conference on Proving Assertions About Programs. Association for Computing Machinery.
Chicago Style (17th ed.) CitationACM Conference on Proving Assertions About Programs La Cruces, New Mexico, and ACM Special Interest Group for Algorithms and Computation Theory. Proceedings of ACM Conference on Proving Assertions About Programs. Association for Computing Machinery, 1972.
MLA (9th ed.) CitationACM Conference on Proving Assertions About Programs La Cruces, New Mexico, and ACM Special Interest Group for Algorithms and Computation Theory. Proceedings of ACM Conference on Proving Assertions About Programs. Association for Computing Machinery, 1972.