Publication:4190104
From MaRDI portal
zbMath0404.68020MaRDI QIDQ4190104
Publication date: 1979
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Gunther Schmidt's life as a mathematician and computer scientist, Programs as partial graphs. I: Flow equivalence and correctness, Programs as partial graphs. II: Recursion