A Symbolic Model Checking Appproach to Verifying Transact-SQL
Validating SQL Code Using Symbolic Model Checking
Mark Alan Junho Song
Humberto Torres Marques Neto
H. T. MARQUES NETO
Luis Enrique Zárate
Luis Enrique Zárate Gálvez