%0 Journal Article %1 journals/entcs/Bolton05 %A Bolton, Christie %D 2005 %J Electron. Notes Theor. Comput. Sci. %K %N 2 %P 23-44 %T Using the Alloy Analyzer to Verify Data Refinement in Z. %U http://dblp.uni-trier.de/db/journals/entcs/entcs137.html#Bolton05 %V 137

@article{journals/entcs/Bolton05, added-at = {2023-12-14T15:39:13.000+0100}, author = {Bolton, Christie}, biburl = {https://www.bibsonomy.org/bibtex/2d8e6d306f7c639c886fbb9662ebf6f28/admin}, ee = {https://doi.org/10.1016/j.entcs.2005.04.023}, interhash = {eddfe269c14b94e8b806e1e0df19ecaa}, intrahash = {d8e6d306f7c639c886fbb9662ebf6f28}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, number = 2, pages = {23-44}, timestamp = {2023-12-14T15:39:13.000+0100}, title = {Using the Alloy Analyzer to Verify Data Refinement in Z.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs137.html#Bolton05}, volume = 137, year = 2005 }