Underapproximating Predicate Transformers.

David A. Schmidt

Published in: SAS (2006)

Keyphrases

first order logic
partial discharge
databases
genetic algorithm
artificial intelligence
image segmentation