A symbolic model checking appproach to verifying transact-SQL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rodrigo Diana, Humberto Marques-Neto, Luis E. Zárate, Mark A. J. Song. A symbolic model checking appproach to verifying transact-SQL. In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012, Seoul, Korea (South), October 14-17, 2012. pages 1735-1741, IEEE, 2012. [doi]

This author has not been identified. Look up 'Rodrigo Diana' in GoogleThis author has not been identified. Look up 'Humberto Marques-Neto' in GoogleThis author has not been identified. Look up 'Luis E. Zárate' in GoogleThis author has not been identified. Look up 'Mark A. J. Song' in Google

runs on WebDSL