Rodrigo Diana

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Formal Specification

Binary Decision Diagrams

Partial Observability

Database Design

Top Venues

Publications

Rodrigo Diana, Humberto Marques-Neto, Luis Enrique Zárate, Mark A. J. Song
A symbolic model checking appproach to verifying transact-SQL. SMC (2012)