The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September/October (1990 vol.7)
pp: 6-10
CITATION
Susan L. Gerhart, "Guest Editor's Introduction: Applications of Formal Methods—Developing Virtuoso Software", IEEE Software, vol.7, no. 5, pp. 6-10, September/October 1990, doi:10.1109/MS.1990.10038
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool