Information Technology Reference
In-Depth Information
Smith, D.R. (1990). KIDS: A semi-automatic program development system.
IEEE Trans. on Software
Engineering, 16
(9), 1024-1043.
Traugott, J. (1989). Deductive synthesis of sorting programs.
Journal of Symbolic Computation, 7
, 533-
572.
Search WWH ::
Custom Search