Yelisetty, Sarasuaty, E 		Marques, Johnny.
" Verification Scenarios for Databases in Safety-Critical Systems" <em>Anais do Workshop Anual do MPS (WAMPS)</em> [Online], (4 novembro 2024)