Follow
Diego Medina-Martínez
Title
Cited by
Cited by
Year
Database Management System Verification with Separation Logics
D Medina-Martínez, E Bárcenas, G Molero-Castillo, A Velázquez-Mena, ...
Programming and Computer Software 47 (8), 654-672, 2021
2021
Formal Verification of a Database Management System
D Medina-Martínez, E Bárcenas, G Molero-Castillo, A Velázquez-Mena, ...
2020 8th International Conference in Software Engineering Research and …, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–2