1. Program inversion
- Author
-
Dijkstra, Edsger W., Goos, G., editor, Hartmanis, J., editor, Brinch Hansen, P., editor, Gries, D., editor, Moler, C., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Bauer, Friedrich L., editor, Broy, Manfred, editor, Dijkstra, E. W., editor, Gerhart, S. L., editor, Griffiths, M., editor, Guttag, J. V., editor, Horning, J. J., editor, Owicki, S. S., editor, Pair, C., editor, Partsch, H., editor, Pepper, P., editor, Wirsing, M., editor, and Wössner, H., editor
- Published
- 1979
- Full Text
- View/download PDF