Work

Automatic verification of database-centric systems

Year: 2018

Type: article

Source: ACM SIGLOG News

DOI: 10.1145/3212019.3212025

Authors: Alin Deutsch, Richard Hull, Yuliang Li, Victor Vianu

Institutions: University of California San Diego, IBM Research - Thomas J. Watson Research Center, Institut national de recherche en sciences et technologies du numérique

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2803875894

FWCI: 1.933

Cites: 68

Cited by: 31

Related to: 10