scientific article; zbMATH DE number 3351179
From MaRDI portal
Publication:5626272
zbMath0221.68015MaRDI QIDQ5626272
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Logic in computer science (03B70) General topics in the theory of software (68N01)
Related Items (5)
A survey of state vectors ⋮ Programs as partial graphs. I: Flow equivalence and correctness ⋮ Equivalences on program schemes ⋮ Mathematical theory of partial correctness ⋮ Algorithmic approximations
This page was built for publication:
