Erratum: Proving Properties of Pascal Programs in MIZAR 2.

Piotr Rudnicki Wlodzimierz Drabent

Published in: Acta Informatica (1986)

Keyphrases

topological properties
computer assisted
structural properties
real time
desirable properties
programming environment
imperative programs
neural network
data structure
probabilistic model
object oriented
control program