@article{article, title  = {{Z2SAL: a translation-based model checker for Z}},

 url = {{}},

 year = {{2009}},

 month = {{1}},

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

 journal = {{Formal Aspects of Computing}},

 pages = {{1-29}},

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