This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
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.
 
 
BibTex
x
 
@article{ 10.1109/MS.1990.10038,
author = {Susan L. Gerhart},
title = {Guest Editor's Introduction: Applications of Formal Methods—Developing Virtuoso Software},
journal ={IEEE Software},
volume = {7},
number = {5},
issn = {0740-7459},
year = {1990},
pages = {6-10},
doi = {http://doi.ieeecomputersociety.org/10.1109/MS.1990.10038},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Software
TI - Guest Editor's Introduction: Applications of Formal Methods—Developing Virtuoso Software
IS - 5
SN - 0740-7459
SP6
EP10
EPD - 6-10
A1 - Susan L. Gerhart,
PY - 1990
VL - 7
JA - IEEE Software
ER -
 
Citation:
Susan L. Gerhart, "Guest Editor's Introduction: Applications of Formal Methods—Developing Virtuoso Software," IEEE Software, vol. 7, no. 5, pp. 6-10, Sept.-Oct. 1990, doi:10.1109/MS.1990.10038
Usage of this product signifies your acceptance of the Terms of Use.