Prospects for Program Verification (Tutorial).

Published in: ICSE (1978)

Keyphrases

databases
computer based training
information retrieval
genetic algorithm
web pages
data structure
digital libraries
pairwise
control system