ocl specifications reviews and downloads

Search results for «ocl specifications»:

Showing 1 to 10 from 10 matches

HOL-OCL 0.9.0 HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL) GPL (GNU General Public License)

---

Related: