Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves, editors, Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006. Volume 187 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [doi]
Conference: Refine2007
Abstract is missing.