mural

swMATH23627MaRDI QIDQ35398FDOQ35398

Author name not available (Why is that?)

Official website: http://openaccess.city.ac.uk/1970/1/mural.pdf

Cited In (13)

• Definition and basic properties of the Deva meta-calculus
• Constraining interference in an object-based design method
• Provably correct derivation of algorithms using FermaT
• 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