Proving Assertions is Also Useful.

Jürgen F. H. Winkler Stefan Kauer

Published in: ACM SIGPLAN Notices (1997)

Keyphrases

knowledge base
management system
data structure
viewpoint
single image
query language
data driven
data warehouse
software engineering
multi view