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