M. Heisel and W. Reif and W. Stephan (1989): Machine--Assisted Program Construction and Modification


Title: Machine--Assisted Program Construction and Modification
Author(s): M. Heisel and W. Reif and W. Stephan
Year: 1989
Booktitle: 13th German Workshop on Artificial Intelligence GWAI--89
Editor(s): Metzing, D.
Number: 216
Pages: 338-347
Publisher: Springer
Address: Berlin u.a.

Concepts