Integrating Tools for Automatic Program Verification.

Engelbert Hubbers

Published in: Ershov Memorial Conference (2003)

Keyphrases

software tools
multi agent systems
databases
computer vision
end users
user friendly
real time
neural network
information retrieval
case study
similarity measure
decision support
building blocks
fully automatic
visualization tools