Diego Medina-Martínez

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Database Management

Relational Database Management Systems

Persistent Object

Concurrency Control

Top Venues

Program. Comput. Softw.

Publications

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