@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 2024/12/25}}}