From Retrospective Verification to Forward-Looking Development.

K. Rustan M. Leino

Published in: NASA Formal Methods (2011)

Keyphrases

information processing
data sets
software engineering
design principles
development environment
data mining
information retrieval
learning algorithm
case study
digital libraries
decision support
st century
formal verification
economic development