Semantics and the Foundations of Program Proving

J. W. de Bakker. Semantics and the Foundations of Program Proving. In IFIP Congress. pages 279-284, 1977.

Abstract

Abstract is missing.