Demonstration of the Cosette Automated SQL Prover

Document Details

Document Type
Pub Defense Publication
Publication Date
May 09, 2017
Source ID
10.1145/3035918.3058728

Entities

People

  • Alvin Cheung
  • Chenglong Wang
  • D. Li
  • Dan Suciu
  • Shumo Chu

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • United States Department of Energy
  • University of Washington