Program verification prize.

Robert S. Boyer J. Strother Moore

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

Keyphrases

turing test
workshop on data mining
real world
artificial intelligence
cooperative
database