Mohammed Yahya Alzahrani. Model checking web applications. PhD thesis, Heriot-Watt University, Edinburgh, UK, 2015. [doi]
@phdthesis{ethos-14510, title = {Model checking web applications}, author = {Mohammed Yahya Alzahrani}, year = {2015}, url = {http://hdl.handle.net/10399/3024}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-14510}, cites = {0}, citedby = {0}, school = {Heriot-Watt University, Edinburgh, UK}, }