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, J. Goguen, "Formalization in Programming Environments", Computer, vol. 20, no. , pp. 55-64, November 1987, doi:10.1109/MC.1987.1663416
89 ms
(Ver 3.1 (10032016))