This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Introduction to the Special Section
April 1997 (vol. 23 no. 4)
pp. 201-202

[1] High Assurance Computing Workshop, Feb.21-23, 1995. For the workshop reports, seehttp://www.itd.nrl.navy.mil/ITD/ 5540/HighAssurWkshp/reports.html.
[2] R.A. Kemmerer, "Editorial," IEEE Trans. Software Eng., vol. 23, no. 1, p. 1, Jan. 1997.
[3] S. Owre, J. Rushby, N. Shankar, and F. von Henke, "Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS," IEEE Trans. Software Eng., vol. 21, pp. 107-125, Feb. 1995.

Citation:
C. Heitmeyer, S.r. Faulk, "Introduction to the Special Section," IEEE Transactions on Software Engineering, vol. 23, no. 4, pp. 201-202, April 1997, doi:10.1109/TSE.1997.590653
Usage of this product signifies your acceptance of the Terms of Use.