The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION
Susan L. Gerhart, "Guest Editor's Introduction: Applications of Formal Methods—Developing Virtuoso Software", IEEE Software, vol. 7, no. , pp. 6-10, September/October 1990, doi:10.1109/MS.1990.10038
100 ms
(Ver )