Semantical Considerations on Floyd-Hoare Logic

Vaughan R. Pratt. Semantical Considerations on Floyd-Hoare Logic. In 17th Annual Symposium on Foundations of Computer Science, 25-27 October 1976, Houston, Texas, USA. pages 109-121, IEEE, 1976.

Abstract

Abstract is missing.