%0 Conference Paper %1 conf/icdt/ItzhakyKRSTVZ17 %A Itzhaky, Shachar %A Kotek, Tomer %A Rinetzky, Noam %A Sagiv, Mooly %A Tamir, Orr %A Veith, Helmut %A Zuleger, Florian %B ICDT %D 2017 %E Benedikt, Michael %E Orsi, Giorgio %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 16:1-16:18 %T On the Automated Verification of Web Applications with Embedded SQL. %U http://dblp.uni-trier.de/db/conf/icdt/icdt2017.html#ItzhakyKRSTVZ17 %V 68 %@ 978-3-95977-024-8

@inproceedings{conf/icdt/ItzhakyKRSTVZ17, added-at = {2022-10-02T00:00:00.000+0200}, author = {Itzhaky, Shachar and Kotek, Tomer and Rinetzky, Noam and Sagiv, Mooly and Tamir, Orr and Veith, Helmut and Zuleger, Florian}, biburl = {https://www.bibsonomy.org/bibtex/2475e0b22060c9ee01ac2f20728480af2/dblp}, booktitle = {ICDT}, crossref = {conf/icdt/2017}, editor = {Benedikt, Michael and Orsi, Giorgio}, ee = {https://doi.org/10.4230/LIPIcs.ICDT.2017.16}, interhash = {4d95775a558ce391cd6007cac5a6e6a4}, intrahash = {475e0b22060c9ee01ac2f20728480af2}, isbn = {978-3-95977-024-8}, keywords = {dblp}, pages = {16:1-16:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T16:54:43.000+0200}, title = {On the Automated Verification of Web Applications with Embedded SQL.}, url = {http://dblp.uni-trier.de/db/conf/icdt/icdt2017.html#ItzhakyKRSTVZ17}, volume = 68, year = 2017 }