@article{article, title = {{Proceedings 15th International Refinement Workshop}}, publisher = {{Open Publishing Association}}, url = {{}}, year = {{2011}}, month = {{6}}, author = {{Derrick J and Boiten E and Reeves S}}, doi = {{10.4204/eptcs.55.0}}, volume = {{55}}, journal = {{Electronic Proceedings in Theoretical Computer Science}}, note = {{Accessed on 2025/08/13}}}