Application of Automatic Transformations to Program Verification.

Robert Veroff Lawrence J. Henschen

Published in: IJCAI (1981)

Keyphrases

decision support
semi automatic
real time
database systems
trade off
information retrieval
feature selection
decision making
case study
cooperative
search algorithm
data driven
application specific