[ACM Press the 1st annual ACM SIGACT-SIGPLAN symposium - Boston, Massachusetts (1973.10.01-1973.10.03)] Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73 - Reasoning about programs
Waldinger, Richard J., Levitt, Karl N.Year:
1973
Language:
english
DOI:
10.1145/512927.512943
File:
PDF, 1.01 MB
english, 1973