Artur BoronatLATIFAH MUBARAK AYIDH ALHARTHI2022-05-282022-05-2830345https://drepo.sdl.edu.sa/handle/20.500.14154/36086State Machine Code GenerationThesis