The Community for Technology Leaders
Green Image
Issue No. 04 - April (1996 vol. 29)
ISSN: 0018-9162
pp: 20-22
INDEX TERMS
CITATION

J. Wing, D. Jackson and C. B. Jones, "Formal Methods Light," in Computer, vol. 29, no. , pp. 20-22, 1996.
doi:10.1109/MC.1996.10038
93 ms
(Ver 3.3 (11022016))