On the completeness of proving partial correctness.

László Csirmaz

Published in: Acta Cybern. (1981)

Keyphrases

genetic algorithm
data sets
social networks
information systems
cooperative
user interface
image registration
partial information