A Uniform and Certified Approach for Two Static Analyses.

Solange Coupet-Grimal William Delobel

Published in: TYPES (2004)

Keyphrases

data sets
databases
decision trees
cooperative
dynamic analysis
statistical analyses
database
multimedia