Publication:3988818
From MaRDI portal
zbMath0741.68076MaRDI QIDQ3988818
No author found.
Publication date: 28 June 1992
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Weak equivalence in a class of structured program schemes, A generalized mathematical theory of structured programming