The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION
Michael G. Hinchey, Jonathan P. Bowen, Robert L. Glass, "Formal Methods: Point-Counterpoint", Computer, vol. 29, no. , pp. 18-19, April 1996, doi:10.1109/MC.1996.10044
94 ms
(Ver 3.3 (11022016))