John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright, editors, BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002. Volume 70 of Electronic Notes in Theoretical Computer Science, Elsevier, 2002. [doi]
Conference: Refine2002
Abstract is missing.