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