Semantical considerations on Floyd–Hoare logic (0)

by V Pratt
Venue:Proceedings 17th IEEE Symposium on Foundations of Computer Science