Claudia Pons, Diego García. Practical Verification Strategy for Refinement Conditions in UML Models. In Sergio F. Ochoa, Gruia-Catalin Roman, editors, IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, Expanding the Frontiers of Software Technology, August 25, 2006, Santiago, Chile. Volume 219 of IFIP, pages 47-61, Springer, 2006. [doi]
Abstract is missing.