A Proof Tool Dedicated to Clean - The First Prototype.

Maarten de Mol Marko C. J. D. van Eekelen

Published in: AGTIVE (1999)

Keyphrases

database
test bed
computer vision
information technology
data sets
artificial intelligence
information systems
case study
conceptual model