shrenujgandhi / uost-portable-development-environment Goto Github PK
View Code? Open in Web Editor NEWThis project forked from softwareengineeringtooldemos/fse-2012-umltocsp-uost
A Tool for Efficient Verification of UML/OCL Class Diagrams Through Model Slicing
Home Page: http://asadshaikh.com/UMLtoCSP_UOST/