Searching for authors named "Geoffrey Watson" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
A Comparison of Modularity in B and Cogito
- … Geoffrey Norman Watson Abstract This paper examines how some of the issues of modularity have been tackled…
- Cited by 2 (0 self) – Add To MetaCart
-
Proof Representations in Theorem Provers
- …://svrc.it.uq.edu.au Proof Representations in Theorem Provers Geoffrey Norman Watson Abstract This is a survey of some…
- Cited by 4 (0 self) – Add To MetaCart
-
Requirements for a Program Refinement Engine
- … Carrington, Ian Hayes, Ray Nickson, Geoffrey Watson and Jim Welsh July 1995 Phone: +61 7 365 1003 Fax: +61 7…
- Cited by 1 (0 self) – Add To MetaCart
-
A Review of Existing Refinement Tools
- … Carrington, Ian Hayes, Ray Nickson, Geoffrey Watson and Jim Welsh A Review of Existing Refinement Tools June…
- Cited by 3 (0 self) – Add To MetaCart
-
Refinement in Ergo
- … Nickson, Geoffrey Watson and Jim Welsh July 1995 Phone: +61 7 365 1003 Fax: +61 7 365 1533 Note: Most…
- Cited by 4 (1 self) – Add To MetaCart
-
A Generic Proof Checker
- …A GENERIC PROOF CHECKER Geoffrey Norman Watson BA, PGDipInfTech (QLD) A thesis submitted…
- Add To MetaCart
Showing 1 through 6.
