TY - GEN T1 - Building a refinement checker for Z T2 - Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. UR - https://doi.org/10.4204/EPTCS.55 PY - 2011/06/17 AU - Derrick J AU - North S AU - Simons AJH ED - DO - DOI: 10.4204/EPTCS.55.3 Y2 - 2025/05/28 ER -