Extended static checking in JML4: benefits of multiple-prover support.

Perry R. James Patrice Chalin

Published in: SAC (2009)

Keyphrases

web pages
website
data sets
social networks
bayesian networks
digital libraries
end users
databases
real world
data mining
information retrieval
decision trees
multiscale
expert systems