The Refinement Calculator: Proof Support for Program Refinement (1997)

Cached

Download Links

by Michael Butler , Jim Grundy , Thomas Langbacka , Rimvydas Ruksenas , Joakim von Wright
Venue:Formal Methods Pacific ’97
Citations:27 - 2 self

Document Versions

The Refinement Calculator: Proof Support for Program Refinement –Michael Butler, Jim Grundy, Thomas Langbacka, Rimvydas Ruksenas, Joakim von Wright — 1997 — Formal Methods Pacific ’97