The Refinement Calculator: Proof Support for Program Refinement

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

by Michael Butler , Jim Grundy , Thomas Langbacka , Rimvydas Ruksenas , Joakim von Wright

Venue:	Formal Methods Pacific ’97
Citations:	22 - 2 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	The Refinement Calculator: Proof Support for Program Refinement	user correction - Legacy Corrections
AUTHOR NAME	Michael Butler	user correction - Legacy Corrections
AUTHOR AFFIL	1	user correction - Legacy Corrections
AUTHOR NAME	Jim Grundy	user correction - Legacy Corrections
AUTHOR AFFIL	2	user correction - Legacy Corrections
AUTHOR NAME	Thomas Langbacka	user correction - Legacy Corrections
AUTHOR AFFIL	; 1; Dept. of Electronics & Computer Science, University of Southampton; 2; Dept. of Computer Science, The Australian National University; 3; Dept. of Computer Science, University of Helsinki; 4; Dept. of Computer Science, Abo Akademi University	user correction - Legacy Corrections
AUTHOR NAME	Rimvydas Ruksenas	user correction - Legacy Corrections
AUTHOR NAME	Joakim von Wright	user correction - Legacy Corrections
ABSTRACT	. We describe the Refinement Calculator, a tool which supports	user correction - Legacy Corrections
YEAR	1997	INFERENCE
VENUE	Formal Methods Pacific ’97	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	40--61	INFERENCE
CITATIONS	31 found	ParsCit 1.0