Searching for authors named "Jim Woodcock" – sorted by Relevance.
-
The Steam Boiler in A Unified Theory of Z And CSP
- Abstract The Steam Boiler in a Unified Theory of Z and CSP Jim Woodcock Oxford University
- Cited by 5 (1 self) – Add To MetaCart
-
A Tutorial Introduction to CSP in Unifying Theories of Programming
- A Tutorial Introduction to CSP in Unifying Theories of Programming Ana Cavalcanti and Jim Woodcock
- Cited by 3 (3 self) – Add To MetaCart
-
A Tutorial Introduction to Designs in Unifying Theories of Programming
- A Tutorial Introduction to Designs in Unifying Theories of Programming Jim Woodcock and Ana
- Cited by 3 (2 self) – Add To MetaCart
-
The Verification Grand Challenge
- The Verification Grand Challenge Jim Woodcock (Dept. of Computer Science, University of York, York
- Cited by 1 (1 self) – Add To MetaCart
-
A Weakest Precondition Semantics For Z
- Jim Woodcock PRG-TR-16-97 \Delta Oxford University Computing Laboratory Wolfson Building, Parks Road
- Cited by 14 (3 self) – Add To MetaCart
-
unknown title
- Specification, Refinement, and Proof by Susan Stepney David Cooper Jim Woodcock Technical Monograph PRG-126 ISBN
- Add To MetaCart
-
Formal development of industrial-scale systems
- Formal Development of Industrial-Scale Systems in Circus Marcel Oliveira, Ana Cavalcanti, and Jim
- Cited by 2 (2 self) – Add To MetaCart
-
Operational Semantics for Model Checking Circus
- Operational Semantics for Model Checking Circus Jim Woodcock, Ana Cavalcanti, and Leonardo Freitas
- Cited by 2 (0 self) – Add To MetaCart
-
Unifying classes and processes
- Unifying Classes and Processes Ana Cavalcanti 1 , Augusto Sampaio 2 , and Jim Woodcock 1 1
- Cited by 1 (0 self) – Add To MetaCart
-
Pointers and records in the unifying theories of programming
- , and Jim Woodcock1 1 University of York Department of Computer Science York, UK 2 Citrix Systems (R & D
- Cited by 1 (0 self) – Add To MetaCart

