Skip to main content

Browse by Publisher

Group by: Item Type | Date | No Grouping
Jump to: Article
Number of items: 2.

Article

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. (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 Nov 28 02:12:17 2021 GMT.