Asadullah Shaikh, Abdul Hafeez, Asif Ali Wagan, Mesfer Alrizq, Abdullah AlGhamdi, Mana Al Reshan. More Than Two Decades of Research on Verification of UML Class Models: A Systematic Literature Review. IEEE Access, 9:142461-142474, 2021. [doi]
Abstract is missing.