Ian Pratt- HartmannREYADH SULTAN S ALLUHAIBI2022-05-292022-05-2935278https://drepo.sdl.edu.sa/handle/20.500.14154/46522Temporal Controlled Natural Language for Formal SpecificationThesis