Compositional Proofs by Partial Specification of Processes.

Kim Guldstrand Larsen Bent Thomsen

Published in: MFCS (1988)

Keyphrases

data sets
neural network
theorem proving
information systems
high level
database systems
image sequences
multiscale
query language
process model
computational models
theorem prover
formal proofs