Raveca Oarga

According to our database, Raveca Oarga authored at least 1 paper in 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2007

Model Checking of Extended OCL Constraints on UML Models in SOCLe.

John Mullins, Raveca Oarga

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007