Yelisetty, S., & 		Marques, J.
2024 nov  4.  Verification Scenarios for Databases in Safety-Critical Systems. Anais do Workshop Anual do MPS (WAMPS). [Online] :