The Community for Technology Leaders
Green Image
Issue No. 11 - November (1987 vol. 20)
ISSN: 0018-9162
pp: 55-64
J. Goguen , SRI International
INDEX TERMS
null
CITATION

M. Moriconi and J. Goguen, "Formalization in Programming Environments," in Computer, vol. 20, no. , pp. 55-64, 1987.
doi:10.1109/MC.1987.1663416
94 ms
(Ver 3.3 (11022016))