Program Verification: The Very Idea.

James H. Fetzer

Published in: Commun. ACM (1988)

Keyphrases

databases
small number
data sets
information retrieval
information systems
web services
data structure