mural
From MaRDI portal
Software:35398
swMATH23627MaRDI QIDQ35398FDOQ35398
Author name not available (Why is that?)
Cited In (9)
- Definition and basic properties of the Deva meta-calculus
- Constraining interference in an object-based design method
- Provably correct derivation of algorithms using FermaT
- Proof by analogy in mural
- Jape: A calculator for animating proof-on-paper
- 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
This page was built for software: mural
