The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION

M. G. Hinchey, R. L. Glass and J. P. Bowen, "Formal Methods: Point-Counterpoint," in Computer, vol. 29, no. , pp. 18-19, 1996.
doi:10.1109/MC.1996.10044
81 ms
(Ver 3.3 (11022016))