Modeling national healthcare system using event-B

Gohar Ali, Shah Supervisors:Ion Petre, Luigia Petre, Muhammad Usman Sanwal, Modeling national healthcare system using event-B .

BibTeX entry:

@MASTERSTHESIS{1322053,
  title = {Modeling national healthcare system using event-B },
  author = {Shah, Gohar Ali,},
  supervisor(s) = {Petre, Ion and Petre, Luigia and Sanwal, Muhammad Usman},
  school = {Åbo Akademi University},
  keywords = {hälsovårdssektorn, system, terveydenhuoltoala, järjestelmät},
}