other persons with the same name:
| 2002 | ||
|---|---|---|
| 4 | Chris J. Taylor, Eerke A. Boiten, John Derrick: Interpreting ODP Viewpoint Specification: Observations from a Case Study. FMOODS 2002: 61-76 | |
| 3 | Chris J. Taylor, Eerke A. Boiten, John Derrick: ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. IEE Proceedings - Software 149(2): 57-63 (2002) | |
| 2000 | ||
| 2 | Chris J. Taylor, John Derrick, Eerke A. Boiten: A Case Study in Partial Specification: Consistency and Refinement for Object-Z. ICFEM 2000: 177- | |
| 1997 | ||
| 1 | Mukesh J. Patel, Benedict du Boulay, Chris J. Taylor: Comparison of contrasting Prolog trace output formats. Int. J. Hum.-Comput. Stud. 47(2): 289-322 (1997) | |
| 1 | Eerke A. Boiten | [2] [3] [4] |
| 2 | Benedict du Boulay | [1] |
| 3 | John Derrick | [2] [3] [4] |
| 4 | Mukesh J. Patel | [1] |