Yelisetty, Sarasuaty, AND 		Marques, Johnny.
" Verification Scenarios for Databases in Safety-Critical Systems" <em>Proceedings of the MPS Annual Workshop</em> [Online], (4 November 2024)