Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006

Bernhard K. Aichernig Eerke A. Boiten John Derrick Lindsay Groves Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006 2007 Refine@ICFEM Electronic Notes in Theoretical Computer Science 187 Elsevier https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/187/suppl/C db/journals/entcs/entcs187.html