@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 2025/07/10}}}