HAFEEZ, Abdul; 						ABBAS MUSAVI, Syed Hyder; 						REHMAN, Aqeel -ur-.
 Ontology-Based Verification of UML Class/OCL Model.
<strong>Mehran University Research Journal of Engineering and Technology</strong>, [S.l.], v. 37, n. 4, p. 521-534, oct. 2018.
ISSN 2413-7219.
Available at: &lt;<a href="https://publications.muet.edu.pk/index.php/muetrj/article/view/560" target="_new">https://publications.muet.edu.pk/index.php/muetrj/article/view/560</a>&gt;. Date accessed: 24 nov. 2024.
doi: <a href="http://dx.doi.org/10.22581/muet1982.1804.07">http://dx.doi.org/10.22581/muet1982.1804.07</a>.