@inproceedings{inproceedings, title  = {{Issues in implementing a model checker for Z}},

 publisher = {{Springer Berlin Heidelberg}},

 url = {{https://eprints.whiterose.ac.uk/id/eprint/200740 }},

 year = {{2006}},

 month = {{10}},

 author = {{Derrick J and North S and Simons T}},

 doi = {{10.1007/11901433_37}},

 isbn = {{9783540474609}},

 volume = {{LNPSE 4260}},

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

 pages = {{678-696}},

 note = {{Accessed on 2025/11/29}}}