Browse by Publisher

Group by: Item Type | Date | No Grouping

2003

Number of items: 2.

2003

Derrick, John, Smith, Graeme (2003) Structural Refinement of Systems Specified in Object-Z and CSP. Formal Aspects of Computing, 15 (1). pp. 1-27. ISSN 0934-5043. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13948)

Cavalcanti, Ana L. C., Sampaio, Augusto C.A., Woodcock, Jim (2003) A Refinement Strategy for Circus. Formal Aspects of Computing, 15 (2-3). pp. 146-181. ISSN 0934-5043. (doi:10.1007/s00165-003-0006-5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13844)

This list was generated on Sun Dec 22 01:35:38 2024 GMT.