Program Proving-Expression Languages

Paul Pritchard. Program Proving-Expression Languages. In IFIP Congress. pages 727-731, 1977.

Abstract

Abstract is missing.