Strengths and Weaknesses of Program Verification Systems.

Published in: ESEC (1987)

Keyphrases

strengths and weaknesses
advantages and disadvantages
management system
complex systems
building blocks
learning systems
intelligent systems
systems require
biometric systems
computer systems
database
multi objective
evolutionary algorithm
relational databases
search engine
information retrieval
databases