%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 uml %P 47--61 %R 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-02-11T20:58:36.000+0100}, author = {Pons, Claudia and Garcia, Diego}, biburl = {https://www.bibsonomy.org/bibtex/22f7d2f6ccb415ebf8ceeddd29eaca8a5/leonardo}, citeulike-article-id = {1227501}, doi = {10.1007/978-0-387-34831-5_4}, interhash = {4f840ffb4a17674ff39ad763b9fdd37e}, intrahash = {2f7d2f6ccb415ebf8ceeddd29eaca8a5}, journal = {Advanced Software Engineering: Expanding the Frontiers of Software Technology}, keywords = {2006 refinement ocl uml}, pages = {47--61}, posted-at = {2007-04-15 16:17:21}, priority = {4}, timestamp = {2009-02-11T20:58:36.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 }