Farid, S., Bahauddin Zakariya University, Multan, Pakistan, Pakistan

• The Nucleus Vol. 55 No. 2 (2018) - Articles
  Modeling of Access Control System in Event-B
  Abstract  PDF