scientific article; zbMATH DE number 3436597
From MaRDI portal
zbMath0277.68008MaRDI QIDQ4403707
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Matrix Code, Programs as partial graphs. I: Flow equivalence and correctness, Structured implementation of symbolic execution: A first part in a program verifier, Program invariants as fixedpoints
