Sarasuaty Yelisetty and Johnny Marques. 2024.
 Verification Scenarios for Databases in Safety-Critical Systems. In <em>Anais do XX Workshop Anual do MPS</em>, novembro 04, 2024, Salvador/BA, Brasil. SBC, Porto Alegre, Brasil, 31-35. DOI: <a href="https://doi.org/10.5753/wamps.2024.33369">https://doi.org/10.5753/wamps.2024.33369</a>.