[ACM Press the 12th ACM SIGACT-SIGPLAN symposium - New Orleans, Louisiana, United States (1985.01.14-1985.01.16)] Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85 - Logical and mathematical reasoning about imperative programs
Leivant, DanielYear:
1985
Language:
english
DOI:
10.1145/318593.318625
File:
PDF, 805 KB
english, 1985