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
4 2004
DOI
10.1007/s00165-003-0024-3
Experts has a new look! Let us know what you think of the updates.
Provide feedback