A Symbolic Model Checking Appproach to Verifying Transact-SQL
Rodrigo Rezende Marinho Diana
Mark Alan Junho Song
Humberto Torres Marques Neto
Luis Enrique Zárate
Luis Enrique Zárate Gálvez