Searching for authors named "Andrew Butterfield" – sorted by Relevance.
-
A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics
- A VDM # Study of Fault-Tolerant Stable Storage -- Towards a Computer Engineering Mathematics Andrew
- Cited by 1 (0 self) – Add To MetaCart
-
Typing and Subtyping for an Object-Oriented
- Typing and Subtyping for an Object-Oriented Process Algebra Malcolm Tyrrell ∗ and Andrew
- Add To MetaCart
-
Applying Partial Evaluation to VLSI Design Rule Checking
- Report May 1995 Supervisor: Andrew Butterfield Abstract This report describes the design
- Cited by 2 (0 self) – Add To MetaCart

