scientific article; zbMATH DE number 3562459
From MaRDI portal
Publication:4134897
zbMath0361.68010MaRDI QIDQ4134897
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Proving total correctness of recursive procedures ⋮ A program logic for resources ⋮ Fifty years of Hoare's logic
This page was built for publication:
