Paper

A Symbolic Model Checking Appproach to Verifying Transact-SQL

Rodrigo R.M. Diana ; MARQUES NETO, H. T. ; Zárate, Luis E. ; SONG, Mark Alan Junho . A Symbolic Model Checking Appproach to Verifying Transact-SQL. In: IEEE International Conference on Systems, Man, and Cybernetics, 2012, Seul. Proceedings IEEE SMC 2012, 2012. v. 1. p. 1735-1741.

2012

Created by Lattes PostCaptcha Importer at 2018-05-31 15:57:47.0.
Last updated by Lattes PostCaptcha Importer at 2018-06-05 15:23:02.0.
Simplified Graph of Associations
Quid