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.

@inproceedings{HeiselRS89,
  title = {Machine-Assisted Program Construction and Modification},
  author = {Maritta Heisel and Wolfgang Reif and Werner Stephan},
  year = {1989},
  researchr = {https://researchr.org/publication/HeiselRS89},
  cites = {0},
  citedby = {0},
  pages = {338-347},
  booktitle = {GWAI-89, 13th German Workshop on Artificial Intelligence, Eringerfeld, 18.-22. September 1989, Proceedings},
  editor = {Dieter Metzing},
  volume = {216},
  series = {Informatik-Fachberichte},
  publisher = {Springer},
  isbn = {3-540-51743-X},
}