Login / Signup
Specifying subtypes in SCJ programs.
Ghaith Haddad
Gary T. Leavens
Published in:
JTRES (2011)
Keyphrases
</>
computer programs
multiresolution
database
real time
neural network
data mining
computer vision
decision making
case study
breast cancer
programming environment
intermediate level
application programs
cancer diagnosis
provably correct
prolog programs