May Haydar, Alexandre Petrenko, Sergiy Boroday, Houari A. Sahraoui. A formal approach for run-time verification of web applications using scope-extended LTL. Information \& Software Technology, 55(12):2191-2208, 2013. [doi]
@article{HaydarPBS13,
title = {A formal approach for run-time verification of web applications using scope-extended LTL},
author = {May Haydar and Alexandre Petrenko and Sergiy Boroday and Houari A. Sahraoui},
year = {2013},
doi = {10.1016/j.infsof.2013.07.013},
url = {http://dx.doi.org/10.1016/j.infsof.2013.07.013},
researchr = {https://researchr.org/publication/HaydarPBS13},
cites = {0},
citedby = {0},
journal = {Information \& Software Technology},
volume = {55},
number = {12},
pages = {2191-2208},
}