| 2006 | ||
|---|---|---|
| 2 | EE | Claudia Pons, Diego Garcia: Practical Verification Strategy for Refinement Conditions in UML Models. IFIP Workshop on Advanced Software Engineering 2006: 47-61 |
| 1 | EE | Claudia Pons, Diego Garcia: An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE. MoDELS 2006: 646-660 |
| 1 | Claudia Pons | [1] [2] |