![](/img/cover-not-exists.png)
[ACM Press the 10th ACM SIGACT-SIGPLAN symposium - Austin, Texas (1983.01.24-1983.01.26)] Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83 - How to cook a temporal proof system for your pet language
Manna, Zohar, Pnueli, AmirYear:
1983
Language:
english
DOI:
10.1145/567067.567082
File:
PDF, 852 KB
english, 1983