Current Submission

Reproducibility

General Information

Publication Policies

Rights & Responsibilities

Open Access Statement

go back

go back

Volume 11, No. 3

VERIFAS: A Practical Verifier for Artifact Systems

Authors:

Yuliang Li, Alin Deutsch, Victor Vianu

PVLDB is part of the VLDB Endowment Inc.