Anwesha Kashyap, Angshuman Jana. Integrity Constraint Verification of Structured Query Language by Abstract Interpretation. In OITS International Conference on Information Technology, OCIT 2022, Bhubaneswar, India, December 14-16, 2022. pages 1-6, IEEE, 2022. [doi]
Abstract is missing.