Search Results

Journal:Mehran University Research Journal of Engineering and Technology, 2018, Volume 37, Issue No 4

Author(s): Abdul Hafeez, Syed Hyder Abbas Musavi, Aqeel -ur- Rehman

Keyword(s): Software Verification, Model Verification, Unified Modeling Language Class/ ObjectConstraint Language Model.