![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Program Construction Volume 69 || Languages as tools — Interactive program construction
Bauer, Friedrich L., Broy, Manfred, Dijkstra, E. W., Gerhart, S. L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., Pair, C., Partsch, H., Pepper, P., Wirsing, M., Wössner, H.Volume:
10.1007/BF
Year:
1979
DOI:
10.1007/BFb0014679
File:
PDF, 19 KB
1979