Report - Automatic Verification of Database-Driven Systems: A …db.ucsd.edu/artifacts/pubs/p1-vianu.pdfAutomatic Verification of Database-Driven Systems: A New Frontier Victor Vianu∗ U.C.

Please pass captcha verification before submit form