The Community for Technology Leaders
Green Image
Issue No. 04 - April (1996 vol. 29)
ISSN: 0018-9162
pp: 20-22
INDEX TERMS
CITATION
Jeannette Wing, Daniel Jackson, Cliff B. Jones, "Formal Methods Light", Computer, vol. 29, no. , pp. 20-22, April 1996, doi:10.1109/MC.1996.10038
108 ms
(Ver )