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, Faculty of Engineering
Visit profile
Labels
Fields of Research (FoR)
4613 Theory of computation
46 Information and Computing Sciences
4612 Software engineering
View published work (Non-McMaster Users)
View published work (McMaster Users)
Scholarly citations from Dimensions
Contact the Experts team
Get technical help
or
Provide website feedback