On Correct Refinement of Programs.

Ralph-Johan Back

Published in: J. Comput. Syst. Sci. (1981)

Keyphrases

image processing
three dimensional
computer programs
database
real time
refinement process
prolog programs
functional programs
free software