Proceedings of ACM Conference on Proving Assertions About Programs

Saved in:
Bibliographic Details
Corporate Authors: ACM Conference on Proving Assertions About Programs La Cruces, New Mexico, ACM Special Interest Group for Algorithms and Computation Theory
Format: Serial
Language:English
Published: Association for Computing Machinery, 1972.
Online Access:http://portal.acm.org/toc.cfm?id=800235&coll=portal&dl=ACM&type=proceeding&idx=SP914&part=series&WantType=proceeding&title=Proceedings%20of%20ACM%20conference%20on%20Proving%20assertions%20about%20programs%20&CFID=3781379&CFTOKEN=93027086
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items