Specification of Parametrized Programs - Persistency Revisited.

Yngve Lamo Michal Walicki

Published in: Nord. J. Comput. (2001)

Keyphrases

provably correct
high level
control program
data sets
formal specification
specification language
multi agent
formal methods
automatic programming
asynchronous circuits
control structures