scientific article; zbMATH DE number 3795350
From MaRDI portal
Publication:4741695
zbMath0504.68019MaRDI QIDQ4741695
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Hoare's logic for nondeterministic regular programs: A nonstandard approach, 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
