Sign in
Staged program development.
K. Rustan M. Leino
Published in:
SPLASH (2012)
Keyphrases
</>
programming environments
practical experience
multimedia
computer programs
search algorithm
knowledge based systems
world class
programming environment
st century
rapid development
test cases
real time
case study
artificial intelligence
information retrieval
machine learning
neural network