Automatic verification of database-centric systems

Alin Deutsch, Richard Hull 0001, Yuliang Li, Victor Vianu. Automatic verification of database-centric systems. SIGLOG News, 5(2):37-56, 2018. [doi]

Abstract

Abstract is missing.