Database Management System Verification with Separation Logics. - Diego Medina-Martínez; Everardo Bárcenas; Guillermo Molero-Castillo; Alejandro Velázquez-Mena; Rocío Aldeco-Pérez (Program. Comput. Softw., 2021)