%0 Conference Paper %1 journals/entcs/FloresLV08 %A Flores, Sonia %A Lucas, Salvador %A Villanueva, Alicia %B WWV %D 2007 %E Ballis, Demis %E Escobar, Santiago %E Marchiori, Massimo %I Elsevier %K dblp %N 3 %P 103-118 %T Formal Verification of Websites. %U http://dblp.uni-trier.de/db/conf/wwv/wwv2007.html#FloresLV08 %V 200

@inproceedings{journals/entcs/FloresLV08, added-at = {2023-02-13T00:00:00.000+0100}, author = {Flores, Sonia and Lucas, Salvador and Villanueva, Alicia}, biburl = {https://www.bibsonomy.org/bibtex/2635ef68fa04f1d9fb1f68584a993292c/dblp}, booktitle = {WWV}, crossref = {conf/wwv/2007}, editor = {Ballis, Demis and Escobar, Santiago and Marchiori, Massimo}, ee = {https://doi.org/10.1016/j.entcs.2008.04.095}, interhash = {282cbc440478b16e92534508acd91a34}, intrahash = {635ef68fa04f1d9fb1f68584a993292c}, keywords = {dblp}, number = 3, pages = {103-118}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T10:06:59.000+0200}, title = {Formal Verification of Websites.}, url = {http://dblp.uni-trier.de/db/conf/wwv/wwv2007.html#FloresLV08}, volume = 200, year = 2007 }