Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: T

Number of items: 1.

T

Taylor, C. and Derrick, J. and Boiten, E. (2000) A Case Study in Partial Specification: Consistency and Refinement for Object-Z. In: Third IEEE International Conference on Formal Engineering Methods. IEEE, pp. 177-185. ISBN 0-7695-0822-7. (doi:10.1109/ICFEM.2000.873818) (KAR id:21968)

This list was generated on Thu May 9 22:40:04 2024 BST.