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, 654-672, 2021 | 3 | 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 |