Models of Program Logics

Vaughan R. Pratt

Published in: FOCS (1979)

Keyphrases

probabilistic model
experimental data
statistical models
image segmentation
higher order
inference rules
modeling framework