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  - 2024/12/22

ER  -