%0 Conference Paper %1 conf/ifm/BoltonD02 %A Bolton, Christie %A Davies, Jim %B IFM %D 2002 %E Butler, Michael J. %E Petre, Luigia %E Sere, Kaisa %I Springer %K %P 225-244 %T Refinement in Object-Z and CSP. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2002.html#BoltonD02 %V 2335 %@ 3-540-43703-7

@inproceedings{conf/ifm/BoltonD02, added-at = {2023-12-13T10:36:41.000+0100}, author = {Bolton, Christie and Davies, Jim}, biburl = {https://www.bibsonomy.org/bibtex/279975714738096a2c65c157aef0f97ac/admin}, booktitle = {IFM}, crossref = {conf/ifm/2002}, editor = {Butler, Michael J. and Petre, Luigia and Sere, Kaisa}, ee = {https://doi.org/10.1007/3-540-47884-1_13}, interhash = {d92582aa95621da18cd8efc0a5a6cae4}, intrahash = {79975714738096a2c65c157aef0f97ac}, isbn = {3-540-43703-7}, keywords = {}, pages = {225-244}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T10:36:41.000+0100}, title = {Refinement in Object-Z and CSP.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2002.html#BoltonD02}, volume = 2335, year = 2002 }