Crossmark

Inductive verification of data model invariants in web applications using first-order logic

Published Online: 2018-12-12

Published Print: 2019-06

Authors

Bocić, Ivan

Bultan, Tevfik

Rosner, Nicolás https://orcid.org/0000-0002-0742-8101
Funding

Funding for this research was provided by:

National Science Foundation (CCF-1423623)
License Information

Text and Data Mining valid from 2018-12-12

Version of Record valid from 2018-12-12
More Information

Article History

Received: 22 December 2017

Accepted: 18 November 2018

First Online: 12 December 2018

Document is current