Raveca Oarga

List of publications from the DBLP Bibliography Server - FAQ

2007

1 EE John Mullins, Raveca Oarga: Model Checking of Extended OCL Constraints on UML Models in SOCLe. FMOODS 2007: 59-75

2007
1	EE	John Mullins, Raveca Oarga: Model Checking of Extended OCL Constraints on UML Models in SOCLe. FMOODS 2007: 59-75

Coauthor Index