Preface to special issue on software verification.

C. A. R. Hoare Jayadev Misra

Published in: ACM Comput. Surv. (2009)

Keyphrases

special issue
ecml pkdd
ai edam
international journal
international workshop
applied intelligence
neural network
special section
workshop on data mining
artificial intelligence
decision making
rough set theory
intelligent systems
expert systems
computer science
machine learning
databases