Kumar, G. Santhosh, Cochin University of Science and Technology, Kochi - 682 022, India

• Defence Science Journal Vol 72 No 1 - Computers & Systems Studies
  Generic Methodology for Formal Verification of UML Models
  Abstract  PDF