Software Verification "Across the Stack" (Invited Talk).

Alexander J. Summers

Published in: ECOOP (2015)

Keyphrases

data mining
invited talk
knowledge discovery and data mining
selected papers
real world
rough sets
carefully reviewed and selected from submissions
nearest neighbor
book constitutes the refereed proceedings
case based reasoning