Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Refinement Calculus
Home
Publications
Refinement Calculus
Refinement Calculus
RB
Ralph-Johan Back
Ralph-Johan Back
JW
Joakim Wright
Joakim Wright
Publisher Website
Google Scholar
Cite
Download
Share
Download
Download
Download PDF
Download
1 January 1998
book
Published by
Springer Science and Business Media LLC
https://doi.org/10.1007/978-1-4612-1674-2
Abstract
No abstract available
Keywords
CALCULUS
COMPUTER SCIENCE
ITERATION
LOGIC
SEMANTICS
Cited by 401 articles