Current Issue
Previous Issues
Info for Authors
Record Editors
FAQ
Credits
About SIGMOD

close×

Home
Database Principles
Automatic Verification of Database-Centric Systems

Automatic Verification of Database-Centric Systems

Alin Deutsch, Richard Hull, and Victor Vianu

Available in: PDF

653 Downloads

sigmodrecord, 4.09.2014 | Posted in Database Principles 0 comment(s)

(No Ratings Yet)

Loading...

Categories

Advice to Mid-Career Researchers
Announcements
Database Principles
DBrainstorming
Distinguished Profiles
Industry Perspectives
Messages
Open Forum
Reminiscences on Influential Papers
Reports
Research Articles
Research Centers
Research Highlights
Surveys
Systems and Prototypes
Technical Perspective
The Future of Data (base) Education
Vision Articles