Logical Analysis of Programs.

Shmuel Katz Zohar Manna

Published in: Commun. ACM (1976)

Keyphrases

case study
data analysis
automatic analysis
computer vision
real time
real world
genetic algorithm
information systems
objective function
artificial neural networks
quantitative analysis