Searching for authors named "Jim Woodcock" – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
