mural
From MaRDI portal
Mural
Cited in
(14)- Provably correct derivation of algorithms using FermaT
- Deduction-based software component retrieval
- Object organisation in software environments for formal methods
- Definition and basic properties of the Deva meta-calculus
- RAISE
- FermaT
- ABCL
- PARIS
- Jape
- Constraining interference in an object-based design method
- Proof by analogy in mural
- The connection between two ways of reasoning about partial functions
- Ours Is to Reason Why
- Jape: a calculator for animating proof-on-paper
This page was built for software: mural