TY  - CONF

T1  - Issues in implementing a model checker for Z

JO  - Formal Methods and Software Engineering, Proceedings

PY  - 2006/01/01

AU  - Derrick J

AU  - North S

AU  - Simons T

ED  - Liu Z

ED  - He J

VL  - 4260

SP  - 678

EP  - 696

Y2  - 2024/12/22

ER  -