%0 Book %1 pons_06_practical %A Pons, Claudia %A Garcia, Diego %D 2006 %J Advanced Software Engineering: Expanding the Frontiers of Software Technology %K 2006 refinement ocl \_pdf uml %P 47--61 %R http://dx.doi.org/10.1007/978-0-387-34831-5\_4 %T Practical Verification Strategy for Refinement Conditions in UML Models %U http://dx.doi.org/10.1007/978-0-387-34831-5\_4

@book{pons_06_practical, added-at = {2009-03-10T04:41:50.000+0100}, author = {Pons, Claudia and Garcia, Diego}, biburl = {https://www.bibsonomy.org/bibtex/2270d5c6911ae30c3ab55dac8c56f1200/leonardo}, citeulike-article-id = {1227501}, doi = {http://dx.doi.org/10.1007/978-0-387-34831-5\_4}, interhash = {ffd5eb6a2de5396e392ba59ba4d6e822}, intrahash = {270d5c6911ae30c3ab55dac8c56f1200}, journal = {Advanced Software Engineering: Expanding the Frontiers of Software Technology}, keywords = {2006 refinement ocl \_pdf uml}, pages = {47--61}, posted-at = {2007-04-15 16:17:21}, priority = {4}, timestamp = {2009-03-10T04:41:50.000+0100}, title = {Practical Verification Strategy for Refinement Conditions in UML Models}, url = {http://dx.doi.org/10.1007/978-0-387-34831-5\_4}, year = 2006 }