Yelisetty, S., & 		Marques, J.
(2024).
 Verification Scenarios for Databases in Safety-Critical Systems.
In <em>Anais do XX Workshop Anual do MPS</em>, (pp. 31-35). Porto Alegre: SBC.
doi:10.5753/wamps.2024.33369