%0 Conference Paper %1 conf/icwe/SciascioDMTC05 %A Sciascio, Eugenio Di %A Donini, Francesco M. %A Mongiello, Marina %A Totaro, Rodolfo %A Castelluccia, Daniela %B ICWE %D 2005 %E Lowe, David B. %E Gaedke, Martin %I Springer %K dblp %P 69-74 %T Design Verification of Web Applications Using Symbolic Model Checking. %U http://dblp.uni-trier.de/db/conf/icwe/icwe2005.html#SciascioDMTC05 %V 3579 %@ 3-540-27996-2

@inproceedings{conf/icwe/SciascioDMTC05, added-at = {2018-06-26T00:00:00.000+0200}, author = {Sciascio, Eugenio Di and Donini, Francesco M. and Mongiello, Marina and Totaro, Rodolfo and Castelluccia, Daniela}, biburl = {https://www.bibsonomy.org/bibtex/27a93056524f0099fb29ee56a87596373/dblp}, booktitle = {ICWE}, crossref = {conf/icwe/2005}, editor = {Lowe, David B. and Gaedke, Martin}, ee = {https://doi.org/10.1007/11531371_12}, interhash = {819612769e30f3c63e96320d29b007a9}, intrahash = {7a93056524f0099fb29ee56a87596373}, isbn = {3-540-27996-2}, keywords = {dblp}, pages = {69-74}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:27:13.000+0200}, title = {Design Verification of Web Applications Using Symbolic Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/icwe/icwe2005.html#SciascioDMTC05}, volume = 3579, year = 2005 }