@inproceedings{inproceedings, title = {{Z2SAL-Building a Model Checker for Z}}, url = {{https://eprints.whiterose.ac.uk/78798/ }}, year = {{2008}}, month = {{11}}, author = {{Derrick J and North S and Simons AJH}}, volume = {{5238}}, journal = {{ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS}}, pages = {{280-293}}, note = {{Accessed on 2025/05/26}}}