A practical verification system.

James G. Keeton-Williams Anne-Marie G. Discepolo

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

Keyphrases

real world
model checking
databases
website
database
neural network
genetic algorithm
multiscale
practical application
face verification
test generation