%0 Conference Paper %1 conf/fmoods/DerrickB00 %A Derrick, John %A Boiten, Eerke A. %B FMOODS %D 2000 %E Smith, Scott F. %E Talcott, Carolyn L. %I Kluwer %K dblp %P 257-277 %T Refinement of objects and operations in Object-Z. %U http://dblp.uni-trier.de/db/conf/fmoods/fmoods2000.html#DerrickB00 %V 177 %@ 0-7923-7923-3

@inproceedings{conf/fmoods/DerrickB00, added-at = {2014-07-16T00:00:00.000+0200}, author = {Derrick, John and Boiten, Eerke A.}, biburl = {https://www.bibsonomy.org/bibtex/25e0cf112d9a9bcd2f2747224e4621b08/dblp}, booktitle = {FMOODS}, crossref = {conf/fmoods/2000}, editor = {Smith, Scott F. and Talcott, Carolyn L.}, ee = {http://dx.doi.org/10.1007/978-0-387-35520-7_13}, interhash = {61b808c289b3e6097776be8e805ded96}, intrahash = {5e0cf112d9a9bcd2f2747224e4621b08}, isbn = {0-7923-7923-3}, keywords = {dblp}, pages = {257-277}, publisher = {Kluwer}, series = {IFIP Conference Proceedings}, timestamp = {2015-06-20T23:01:47.000+0200}, title = {Refinement of objects and operations in Object-Z.}, url = {http://dblp.uni-trier.de/db/conf/fmoods/fmoods2000.html#DerrickB00}, volume = 177, year = 2000 }