Raveca Oarga

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

John Mullins, Raveca Oarga
Model Checking of Extended OCL Constraints on UML Models in SOCLe. FMOODS (2007)