Model checking web applications
| dc.contributor.advisor | Dr Lilia Georgieva | |
| dc.contributor.author | MOHAMMED YAHYA MARDI AL ZAHRANI | |
| dc.date | 2016 | |
| dc.date.accessioned | 2022-05-26T17:06:24Z | |
| dc.date.available | 2022-05-26T17:06:24Z | |
| dc.degree.department | IT | |
| dc.identifier.other | 39386 | |
| dc.identifier.uri | https://drepo.sdl.edu.sa/handle/20.500.14154/30815 | |
| dc.publisher | Saudi Digital Library | |
| dc.title | Model checking web applications | |
| dc.type | Thesis | |
| sdl.thesis.level | Doctoral | |
| sdl.thesis.source | SACM - United Kingdom |