Inductive verification of data model invariants for web applications.

Ivan Bocic, Tevfik Bultan

Browse the full ICSE paper archive.