Hoare's Logic and VDM.

Published in: Formal Aspects Comput. (1995)

Keyphrases

logic programming
automated reasoning
modal logic
classical logic
computational properties
multi valued
digital circuits
real time
information retrieval
probabilistic logic
image processing
multiscale
hidden markov models
logical framework
set theory