Home
Scholarly Works
ERC ? An object-oriented refinement calculus for...
Journal article

ERC ? An object-oriented refinement calculus for Eiffel

Authors

Paige RF; Ostroff JS

Journal

Formal Aspects of Computing, Vol. 16, , pp. 51–79

Publication Date

April 1, 2004

DOI

10.1007/s00165-003-0024-3

Associated Experts

Richard Paige

Professor, Computing and Software
Visit profile

Labels

Fields of Research (FoR)

4613 Theory of computation46 Information and Computing Sciences4612 Software engineering
View published work (Non-McMaster Users)

Contact the Experts team

Get technical help
or
Provide website feedback
ERC ? An object-oriented refinement calculus for...