Yelisetty, S., & 		Marques, J.
(2024).
 Verification Scenarios for Databases in Safety-Critical Systems.
In <em>Proceedings of the 20th MPS Annual Workshop</em>, (pp. 31-35). Porto Alegre: SBC.
doi:10.5753/wamps.2024.33369