Machine-Assisted Program Construction and Modification

Maritta Heisel, Wolfgang Reif, Werner Stephan. Machine-Assisted Program Construction and Modification. In Dieter Metzing, editor, GWAI-89, 13th German Workshop on Artificial Intelligence, Eringerfeld, 18.-22. September 1989, Proceedings. Volume 216 of Informatik-Fachberichte, pages 338-347, Springer, 1989.

Abstract

Abstract is missing.