Browsing Division of Electrical, Electronics, and Computer Science (EECS) by Subject "Verification"
Now showing items 1-1 of 1
-
Modeling and verification of database-accessing applications
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 ...