A refinement strategy for circus

Cavalcanti, A., Sampaio, A. and Woodcock, J. (2003) A refinement strategy for circus. Formal Aspects of Computing, 15 (2-3). pp. 146-181. ISSN 0934-5043



  • Cavalcanti, A.
  • Sampaio, A.
  • Woodcock, J.
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 24 Jul 2009 09:44
Last Modified: 24 Jul 2009 09:44
Published Version: http://dx.doi.org/10.1007/s00165-003-0006-5
Status: Published
Publisher: Springer Science + Business Media
Identification Number: 10.1007/s00165-003-0006-5

Share / Export