Bandar, Alshammari2022-05-192022-05-1920991https://drepo.sdl.edu.sa/handle/20.500.14154/11098enQuality Metrics for Assessing Security-Critical Computer ProgramsThesis