S. Yelisetty and J. Marques.
" Verification Scenarios for Databases in Safety-Critical Systems", in <em>Proceedings of the 20th MPS Annual Workshop</em>, Salvador/BA, 2024, pp. 31-35, doi: <a href="https://doi.org/10.5753/wamps.2024.33369">https://doi.org/10.5753/wamps.2024.33369</a>.