mural
From MaRDI portal
Software:35398
No author found.
Related Items (9)
Constraining interference in an object-based design method ⋮ Object organisation in software environments for formal methods ⋮ Unnamed Item ⋮ 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 ⋮ Jape: A calculator for animating proof-on-paper ⋮ Ours Is to Reason Why
This page was built for software: mural
