scientific article; zbMATH DE number 3597849
From MaRDI portal
Publication:4164788
zbMath0384.68017MaRDI QIDQ4164788
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Relationship of program correctness checking methods ⋮ Semantics of algorithmic languages ⋮ Current methods for proving program correctness
This page was built for publication:
