A Unifying Framework for Correct Program Construction.

Henning Dierks Michael Schenke

Published in: MPC (1998)

Keyphrases

main contribution
case study
neural network
image processing
computational model
conceptual framework
framework enables