Eerke A. Boiten, John Derrick, Gerhard Schellhorn, editors, Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008. Volume 214 of Electronic Notes in Theoretical Computer Science, Elsevier, 2008. [doi]
Conference: Refine2008
Abstract is missing.