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