%0 Conference Paper %1 journals/entcs/CastellucciaMRT06 %A Castelluccia, Daniela %A Mongiello, Marina %A Ruta, Michele %A Totaro, Rodolfo %B SVV@ICFEM %D 2005 %E Mukhopadhyay, Supratik %E Roychoudhury, Abhik %E Yang, Zijiang %I Elsevier %K dblp %N 1 %P 61-76 %T WAVer: A Model Checking-based Tool to Verify Web Application Design. %U http://dblp.uni-trier.de/db/conf/svv/svv2005.html#CastellucciaMRT06 %V 157

@inproceedings{journals/entcs/CastellucciaMRT06, added-at = {2023-01-20T00:00:00.000+0100}, author = {Castelluccia, Daniela and Mongiello, Marina and Ruta, Michele and Totaro, Rodolfo}, biburl = {https://www.bibsonomy.org/bibtex/245f5cf964599ecc6ed3e686a5b65d4cf/dblp}, booktitle = {SVV@ICFEM}, crossref = {conf/svv/2005}, editor = {Mukhopadhyay, Supratik and Roychoudhury, Abhik and Yang, Zijiang}, ee = {https://doi.org/10.1016/j.entcs.2006.01.023}, interhash = {a8e878a973c0b85ad3eb95f15f9f68ee}, intrahash = {45f5cf964599ecc6ed3e686a5b65d4cf}, keywords = {dblp}, number = 1, pages = {61-76}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T15:02:41.000+0200}, title = {WAVer: A Model Checking-based Tool to Verify Web Application Design.}, url = {http://dblp.uni-trier.de/db/conf/svv/svv2005.html#CastellucciaMRT06}, volume = 157, year = 2005 }