Conditional Analysis and Verification.

Nevin Heintze Joxan Jaffar Razvan Voicu

Published in: APLAS (2000)

Keyphrases

data analysis
data sets
learning algorithm
automatic analysis
real world
search engine
website
high level
statistical analysis
formal methods
formal analysis