2021
Database Management System Verification with Separation Logics.
Program. Comput. Softw., 2021