Unwinding and the LOCK Proof Referees Study.

Sandra Rawlings Murphy Stephen D. Crocker Timothy Redmond

Published in: CSFW (1992)

Keyphrases

neural network
social networks
image processing
decision trees
data structure
factors affecting
artificial intelligence
search algorithm
relational databases
empirical studies