![](/img/cover-not-exists.png)
Inductive verification of data model invariants in web applications using first-order logic
Bocić, Ivan, Bultan, Tevfik, Rosner, NicolásLanguage:
english
Journal:
Automated Software Engineering
DOI:
10.1007/s10515-018-0249-2
Date:
December, 2018
File:
PDF, 1.06 MB
english, 2018