Database Management System Verification with Separation Logics
Crossref DOI link: https://doi.org/10.1134/S036176882108017X
Published Online: 2021-12-28
Published Print: 2021-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Medina-Martínez, Diego
Bárcenas, Everardo
Molero-Castillo, Guillermo
Velázquez-Mena, Alejandro
Aldeco-Pérez, Rocío
Text and Data Mining valid from 2021-12-01
Version of Record valid from 2021-12-01
Article History
Received: 9 July 2021
Revised: 29 July 2021
Accepted: 15 August 2021
First Online: 28 December 2021