Publication:4741695
From MaRDI portal
zbMath0504.68019MaRDI QIDQ4741695
Publication date: 1982
68Q65: Abstract data types; algebraic specification
Related Items
Proving program inclusion using Hoare's logic, Two theorems about the completeness of Hoare's logic, Average case optimality for linear problems, Some questions about expressiveness and relative completeness in Hoare's logic, Hoare's logic for nondeterministic regular programs: A nonstandard approach