How to cook a temporal proof system for your pet language

Publisher Website

1 January 1983

proceedings article
Published by Association for Computing Machinery (ACM)

p. 141-154
https://doi.org/10.1145/567067.567082

Abstract

No abstract available

Cited by 117 articles