Popular links
Search
About McMaster
Home
News
Research & Innovation
Giving to McMaster
Working at McMaster
Study
Undergraduate Programs
Graduate Programs
Continuing Education
Admission Requirements
Visit
Tours
Campus Maps
Campus Safety Services
Events
Connect
University Directories
Media Inquiries
Research Centres & Institutes
McMaster Global
Alumni
Search
Keyword Search
Search Current Website
Search McMaster
Student Support
Campus Safety Services
Equity & Inclusion Office
IT Support
Office of the Registrar
Ombuds Office
School of Graduate Studies
Student Wellness Centre
Student Affairs
Tools
Academic Calendars
Avenue to Learn
Campus Maps
Faculty and Staff Directory
Find an Expert
Microsoft Office 365
Mosaic
Safety App
Faculties
DeGroote School of Business
Engineering
Health Sciences
Humanities
Science
Social Sciences
On Campus
Athletics & Recreation
Campus Store
Housing & Conference Services
Hospitality Services
Libraries
Student Success Centre
Experts
Menu
Home
People
Groups
Scholarly Works
About
Login
Experts
Home
People
Groups
Scholarly Works
About
Login
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 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
