ERC: an Object-Oriented Refinement Calculus for Eiffel

Paige, R.F. and Ostroff, J.S. (2004) ERC: an Object-Oriented Refinement Calculus for Eiffel. Formal Aspects of Computing, 16 (1). pp. 51-79. ISSN 0934-5043

Abstract

Metadata

Authors/Creators:
  • Paige, R.F. (rfp1@york.ac.uk)
  • Ostroff, J.S.
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 25 May 2009 13:51
Last Modified: 25 May 2009 13:51
Published Version: http://dx.doi.org/10.1007/s00165-003-0024-3
Status: Published
Publisher: Springer Science + Business Media
Identification Number: 10.1007/s00165-003-0024-3

Share / Export

Statistics