Hafeez, Abdul, Syed Hyder Abbas Musavi, & Aqeel -ur- Rehman.
" Ontology-Based Verification of UML Class/OCL Model." <em>Mehran University Research Journal of Engineering and Technology</em> [Online], 37.4 (2018): 521-534. Web. 24 Nov. 2024