ERC -- an object-oriented refinement calculus for Eiffel
From MaRDI portal
Publication:1882788
DOI10.1007/S00165-003-0024-3zbMath1084.68022OpenAlexW2134071215WikidataQ130962602 ScholiaQ130962602MaRDI QIDQ1882788
Richard F. Paige, Jonathan S. Ostroff
Publication date: 1 October 2004
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-003-0024-3
Related Items (3)
Cameo: an alternative model of concurrency for Eiffel ⋮ A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs ⋮ A Theory of Pointers for the UTP
Uses Software
This page was built for publication: ERC -- an object-oriented refinement calculus for Eiffel
