The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION

S. L. Gerhart, "Guest Editor's Introduction: Applications of Formal Methods—Developing Virtuoso Software," in IEEE Software, vol. 7, no. , pp. 6-10, 1990.
doi:10.1109/MS.1990.10038
85 ms
(Ver 3.3 (11022016))