Skip to main content
eScholarship
Open Access Publications from the University of California

Automatic Verification of Database-Centric Systems

  • Author(s): Deutsch, Alin
  • Hull, Richard
  • Vianu, Victor
  • et al.
Main Content
Current View