Browse by Publisher
Number of items: 2.
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) |