scientific article

From MaRDI portal

Revision as of 01:03, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4002148

Jump to:navigation, search

zbMath0758.68046MaRDI QIDQ4002148

No author found.

Publication date: 23 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

specification VDM

Mathematics Subject Classification ID

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 (10)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4002148&oldid=17697056"