CDB-PV: A Constraint Database-Based Program Verifier.

Scot Anderson Peter Z. Revesz

Published in: SARA (2007)

Keyphrases

database
databases
database systems
query language
database management
website
database management systems
database applications
machine learning
search engine
expert systems
association rules
relational databases
image database
oracle database