%0 Conference Paper %1 conf/zum/DocheG02 %A Doche, Marielle %A Gravell, Andrew M. %B ZB %D 2002 %E Bert, Didier %E Bowen, Jonathan P. %E Henson, Martin C. %E Robinson, Ken %I Springer %K dblp %P 120-139 %T Extraction of Abstraction Invariants for Data Refinement. %U http://dblp.uni-trier.de/db/conf/zum/zb2002.html#DocheG02 %V 2272 %@ 3-540-43166-7

@inproceedings{conf/zum/DocheG02, added-at = {2017-05-21T00:00:00.000+0200}, author = {Doche, Marielle and Gravell, Andrew M.}, biburl = {https://www.bibsonomy.org/bibtex/2f164628e937d0f2ae15a3e1ec3a6feef/dblp}, booktitle = {ZB}, crossref = {conf/zum/2002}, editor = {Bert, Didier and Bowen, Jonathan P. and Henson, Martin C. and Robinson, Ken}, ee = {https://doi.org/10.1007/3-540-45648-1_7}, interhash = {28ef2bea03e2474a5a9cba7f9463eced}, intrahash = {f164628e937d0f2ae15a3e1ec3a6feef}, isbn = {3-540-43166-7}, keywords = {dblp}, pages = {120-139}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:28:20.000+0200}, title = {Extraction of Abstraction Invariants for Data Refinement.}, url = {http://dblp.uni-trier.de/db/conf/zum/zb2002.html#DocheG02}, volume = 2272, year = 2002 }