A Semantic Basis for Program Verification

DOI10.1080/01969727408546056zbMath0315.68012OpenAlexW2117302669MaRDI QIDQ4076736

William S. Hatcher

Publication date: 1975

Published in: Journal of Cybernetics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01969727408546056

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items (1)

A genetically modified Hoare logic

This page was built for publication: A Semantic Basis for Program Verification