Shaikh, Amina. An extensive feedback technique to detect unsatisfiable UML/OCL class diagrams / Amina Shaikh. - MUET, Jamshoro : Software Engineering, 2018. - xiv, 43p. ; ill. ; 30 cm. Includes References. Subjects--Topical Terms: Class Diagrams Dewey Class. No.: / SHA