TY - GEN AU - Shaikh, Amina. AU - Mahoto, Naeem Ahmed. TI - An extensive feedback technique to detect unsatisfiable UML/OCL class diagrams PY - 2018/// CY - MUET, Jamshoro : PB - Software Engineering KW - Class Diagrams N1 - Includes References ER -