• Modeling and verification of database-accessing applications 

      Chawla, Geetam
      Databases are central to the functioning of most IT-enabled processes and services. In many domains, databases are accessed and updated via applications written in general-purpose lan- guages, as such applications need ...