@article{FLV08,
title = {{Formal Verification of Websites}},
author = {Flores, S. and Lucas, S. and Villanueva, A.},
journal = {Electronic Notes in Theoretical Computer Science},
pages = {103-118},
volume = 200,
year = 2008
}