scientific article; zbMATH DE number 3550151
From MaRDI portal
Publication:4124296
zbMath0353.68036MaRDI QIDQ4124296
Krzysztof R. Apt, J. W. de Bakker
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II ⋮ Fifty years of Hoare's logic ⋮ Semantics of algorithmic languages ⋮ Graph-Based Object-Oriented Hoare Logic
This page was built for publication:
