Components of verification technology.

James G. Williams

Published in: ACM SIGSOFT Softw. Eng. Notes (1985)

Keyphrases

rapid development
data processing
cost effective
model checking
technological advances
database
data sets
learning algorithm
artificial intelligence
digital libraries
e government
digital media