Publication:3725522
From MaRDI portal
zbMath0594.68012MaRDI QIDQ3725522
Publication date: 1986
iteration; feedback; correctness; algebraic semantics; program transformations; repetition; flowchart schemes
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items