@inproceedings{inproceedings, title  = {{Issues in Implementing a Model Checker for Z}},

 publisher = {{Springer Berlin Heidelberg}},

 url = {{}},

 year = {{2006}},

 month = {{1}},

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

 doi = {{10.1007/11901433_37}},

 isbn = {{9783540474609}},

 pages = {{678-696}},

 note = {{Accessed on 2024/10/23}}}