He, Y., Zhao, P., Wang, X., & Wang, Y. (2024). VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints.
Style de citation Chicago (17e éd.)He, Yang, Pinhan Zhao, Xinyu Wang, et Yuepeng Wang. VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints. 2024.
Style de citation MLA (9e éd.)He, Yang, et al. VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.