TY  - CONF

T1  - Issues in implementing a model checker for Z

JO  - Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

UR  - https://eprints.whiterose.ac.uk/id/eprint/200740

PY  - 2006/10/24

AU  - Derrick J

AU  - North S

AU  - Simons T

ED  - Liu Z

ED  - He J

DO  - DOI: 10.1007/11901433_37

PB  - Springer Berlin Heidelberg

SN  - 9783540474609

VL  - LNPSE 4260

SP  - 678

EP  - 696

Y2  - 2025/11/29

ER  -