Searching for authors named "Steve Reeves" – sorted by Relevance.
30 documents found, showing 1 through 10.
Next 10 →
-
Building Formal Models of Graphical User Interfaces
- …1 1 Building Formal Models of Graphical User Interfaces Steve Reeves Department of Computer…
- Add To MetaCart
-
A Teaching and Support Tool for Building Formal Models of Graphical User-Interfaces
- … of Graphical User-Interfaces by Steve Reeves Working Paper 95/21 August 1995 1995 by Steve Reeves. Department…
- Cited by 1 (0 self) – Add To MetaCart
-
Supporting students' work in a formal system: MacPICT
- …1 Supporting students' work in a formal system: MacPICT Steve Reeves stever…
- Cited by 2 (2 self) – Add To MetaCart
-
LSB- Live and Safe B Alternative semantics for Event B
- …Working Paper Series ISSN 1170-487X LSB - Live and Safe B Alternative semantics for Event B Steve…
- Add To MetaCart
-
Causal Process Algebra – p.2/12
- …Causal Process Algebra Always getting the right drink from a coffee machine. Steve Reeves…
- Add To MetaCart
-
Implementing the Zc Logic in Ergo
- …Implementing the Z c Logic in Ergo Mark Utting and Steve Reeves Department of Computer Science…
- Add To MetaCart
-
D.: Liberalising event b without changing it
- …Working Paper Series ISSN 1170-487X Liberalising Event B Without changing it Steve Reeves…
- Cited by 1 (1 self) – Add To MetaCart
-
Constructive Mathematics, in Theory and Programming Practice
- … Bridges Steve Reeves Department of Mathematics University of Waikato CDMTCS-068 November 1997 Centre…
- Cited by 6 (2 self) – Add To MetaCart
-
Teaching Formal Methods Lite via Testing
- … Methods Lite via Testing Authors: Mark Utting and Steve Reeves Department of Computer Science…
- Cited by 1 (0 self) – Add To MetaCart
-
CSCW in New Zealand: A Snapshot
- …1 CSCW in New Zealand: A Snapshot Colin Blackett Steve Reeves stever@(email omitted); Department…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
