TY  - CONF

T1  - Issues in Implementing a Model Checker for Z

PY  - 2006/01/01

AU  - Derrick J

AU  - North S

AU  - Simons T

ED  - 

DO  - DOI: 10.1007/11901433_37

PB  - Springer Berlin Heidelberg

SN  - 9783540474609

SP  - 678

EP  - 696

Y2  - 2024/12/25

ER  -