TY  - RPRT
TI  - Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version)
AU  - Federico De Meo
AU  - Marco Rocchetto
AU  - Luca Viganò
PY  - 2016
UR  - https://arxiv.org/abs/1605.00358
ID  - 1605.00358
ER  -