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