scientific article
From MaRDI portal
Publication:3660892
zbMath0514.68021MaRDI QIDQ3660892
Andrzej Blikle, Andrzej Tarlecki
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Annotations in formal specifications and proofs, A guided tour of the mathematics of MetaSoft '88, Proof obligations for blocks and procedures, Toward formal development of programs from algebraic specifications: Parameterisation revisited
