Wolfgang Polak. Program Verification Based on Denotational Semantics. In Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pages 149-158, 1981.
No references recorded for this publication.
No citations of this publication recorded.