%0 Journal Article %1 journals/fac/DerrickNS11 %A Derrick, John %A North, Siobhán %A Simons, Anthony J. H. %D 2011 %J Formal Aspects Comput. %K dblp %N 1 %P 43-71 %T Z2SAL: a translation-based model checker for Z. %U http://dblp.uni-trier.de/db/journals/fac/fac23.html#DerrickNS11 %V 23

@article{journals/fac/DerrickNS11, added-at = {2023-06-26T00:00:00.000+0200}, author = {Derrick, John and North, Siobhán and Simons, Anthony J. H.}, biburl = {https://www.bibsonomy.org/bibtex/20997383f6db8f5b5f57599f9f10fcb11/dblp}, ee = {https://doi.org/10.1007/s00165-009-0126-7}, interhash = {bccbd337ea06bf790b3767665315382c}, intrahash = {0997383f6db8f5b5f57599f9f10fcb11}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 1, pages = {43-71}, timestamp = {2024-04-09T05:37:23.000+0200}, title = {Z2SAL: a translation-based model checker for Z.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac23.html#DerrickNS11}, volume = 23, year = 2011 }