ArcAngel: a tactic language for refinement

Oliveira, M., Cavalcanti, A. and Woodcock, J. (2004) ArcAngel: a tactic language for refinement. Formal Aspects of Computing, 15 (1). pp. 28-47. ISSN 0934-5043

Abstract

Metadata

Authors/Creators:
  • Oliveira, M.
  • Cavalcanti, A.
  • Woodcock, J. (jim@cs.york.ac.uk)
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 25 May 2009 14:29
Last Modified: 25 May 2009 14:29
Published Version: http://dx.doi.org/10.1007/s00165-003-0003-8
Status: Published
Publisher: Springer Science + Business Media
Identification Number: https://doi.org/10.1007/s00165-003-0003-8

Share / Export

Statistics