Proving Properties of Pascal Programs in MIZAR 2.

Piotr Rudnicki Wlodzimierz Drabent

Published in: Acta Informatica (1985)

Keyphrases

desirable properties
database
information systems
website
case study
bayesian networks
multiscale
object detection
structural properties
topological properties
imperative programs