A Prolog Environment for Developing and Reasoning About Data Types
Resource
Proceedings of the Colloquium on Software Engineering(TAPSOFT), p.276-293
Journal
Proceedings of the Colloquium on Software Engineering(TAPSOFT)
Pages
276-293
Date Issued
1985-05
Date
1985-05
Author(s)
Goos, G.
Hartmanis, J.
Barstow, D.
Brauer, W.
Hansen, P. Brinch
Gries, D.
Luckham, D.
Moler, C.
Pnueli, A.
Seegmüller, G.
Stoer, H.
Wirth, N.
Publisher
Berlin: Springer-Verlag
Type
conference paper