Paper

Validating SQL Code Using Symbolic Model Checking

DIANA, Rodrigo Rezende Marinho ; MARQUES NETO, Humberto Torres ; SONG, Mark Alan Junho . Validating SQL Code Using Symbolic Model Checking. In: IADIS Applied Computing, 2011, Rio de Janeiro. IADIS Applied Computing, 2011. p. 19-26.

2011

Created by Lattes PostCaptcha Importer at 2018-06-05 15:22:57.0.
Simplified Graph of Associations
Quid