January 1, 1983· Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83
conference-paper
How to cook a temporal proof system for your pet language
Authors:Zohar MannaAmir Pnueli
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.