Specification and proving of command programs
From MaRDI portal
Publication:1216946
DOI10.1007/BF00263741zbMath0304.68024MaRDI QIDQ1216946
Publication date: 1976
Published in: Acta Informatica (Search for Journal in Brave)
68N01: General topics in the theory of software
