What's Wrong With Formal Programming Methods?

Eric C. R. Hehner

Published in: ICCI (1991)

Keyphrases

preprocessing
data sets
significant improvement
database
optimal solution
multi class
object oriented
cross validation
methods require