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

 url = {{}},

 year = {{2006}},

 month = {{1}},

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

 volume = {{4260}},

 journal = {{Formal Methods and Software Engineering, Proceedings}},

 pages = {{678-696}},

 note = {{Accessed on 2024/12/22}}}