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