Skip to content
cs-conference-ranking.org

A Tutorial on the Refinement Calculus.

Jim Woodcock

VenueBFM
Year1991
ProceedingsVDM Europe (2)
DBLP recordconf/fm/Woodcock91 ↗

Browse the full FM paper archive.