Automatic Checking of Aggregation Abstractions Through State Enumeration.

Seungjoon Park Satyaki Das David L. Dill

Published in: FORTE (1997)

Keyphrases

semi automatic
image processing
image sequences
relational databases
data driven
fully automatic