An Approach to System Correctness.

Published in: SOSP (1971)

Keyphrases

real time
artificial intelligence
data analysis
special case
computational intelligence
image classification
logic programs