Foundations of the Bandera Abstraction Tools.

John Hatcliff Matthew B. Dwyer Corina S. Pasareanu Robby

Published in: The Essence of Computation (2002)

Keyphrases

artificial intelligence
software tools
high level
user friendly
database
real time
computer vision
information systems
end users
learning systems