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.
@inproceedings{Polak81:0,
title = {Program Verification Based on Denotational Semantics},
author = {Wolfgang Polak},
year = {1981},
tags = {semantics, rule-based, program verification, denotational semantics},
researchr = {https://researchr.org/publication/Polak81%3A0},
cites = {0},
citedby = {0},
pages = {149-158},
booktitle = {Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
}