%0 Conference Paper %1 conf/ifip/PonsG06 %A Pons, Claudia %A García, Diego %B IFIP Workshop on Advanced Software Engineering %D 2006 %E Ochoa, Sergio F. %E Roman, Gruia-Catalin %I Springer %K dblp %P 47-61 %T Practical Verification Strategy for Refinement Conditions in UML Models. %U http://dblp.uni-trier.de/db/conf/ifip/ifip2006se.html#PonsG06 %V 219 %@ 978-0-387-34828-5

@inproceedings{conf/ifip/PonsG06, added-at = {2022-06-23T00:00:00.000+0200}, author = {Pons, Claudia and García, Diego}, biburl = {https://www.bibsonomy.org/bibtex/2e61babe49de3afec94ac75ed48c3ef90/dblp}, booktitle = {IFIP Workshop on Advanced Software Engineering}, crossref = {conf/ifip/2006se}, editor = {Ochoa, Sergio F. and Roman, Gruia-Catalin}, ee = {https://doi.org/10.1007/978-0-387-34831-5_4}, interhash = {8621c1ea7c38e021227a79221ef1fea1}, intrahash = {e61babe49de3afec94ac75ed48c3ef90}, isbn = {978-0-387-34828-5}, keywords = {dblp}, pages = {47-61}, publisher = {Springer}, series = {IFIP}, timestamp = {2024-04-10T05:01:51.000+0200}, title = {Practical Verification Strategy for Refinement Conditions in UML Models.}, url = {http://dblp.uni-trier.de/db/conf/ifip/ifip2006se.html#PonsG06}, volume = 219, year = 2006 }