scientific article
From MaRDI portal
Publication:4002148
zbMath0758.68046MaRDI QIDQ4002148
No author found.
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Related Items
1998 European Summer Meeting of the Association for Symbolic Logic, Constraining interference in an object-based design method, Object organisation in software environments for formal methods, Proof by analogy in mural, Definition and basic properties of the Deva meta-calculus, The connection between two ways of reasoning about partial functions, Provably correct derivation of algorithms using FermaT, mural, Jape: A calculator for animating proof-on-paper, Ours Is to Reason Why
