sumeet29 / fse-2012-umltocsp-uost 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/