A Tool for Efficient Verification of UML/OCL Class Diagrams Through Model Slicing
Primary LanguageProlog