Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger. On the Automated Verification of Web Applications with Embedded SQL. In Michael Benedikt, Giorgio Orsi, editors, 20th International Conference on Database Theory, ICDT 2017, March 21-24, 2017, Venice, Italy. Volume 68 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]
@inproceedings{ItzhakyKRSTVZ17,
title = {On the Automated Verification of Web Applications with Embedded SQL},
author = {Shachar Itzhaky and Tomer Kotek and Noam Rinetzky and Mooly Sagiv and Orr Tamir and Helmut Veith and Florian Zuleger},
year = {2017},
doi = {10.4230/LIPIcs.ICDT.2017.16},
url = {http://dx.doi.org/10.4230/LIPIcs.ICDT.2017.16},
researchr = {https://researchr.org/publication/ItzhakyKRSTVZ17},
cites = {0},
citedby = {0},
booktitle = {20th International Conference on Database Theory, ICDT 2017, March 21-24, 2017, Venice, Italy},
editor = {Michael Benedikt and Giorgio Orsi},
volume = {68},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-024-8},
}