This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Special Issues for FM '99: The First World Congress on Formal Methods in the Development of Computing Systems
August 2000 (vol. 26 no. 8)
pp. 673-674
Citation:
Jeanette M. Wing, Jim Woodcock, "Special Issues for FM '99: The First World Congress on Formal Methods in the Development of Computing Systems," IEEE Transactions on Software Engineering, vol. 26, no. 8, pp. 673-674, Aug. 2000, doi:10.1109/TSE.2000.879806
Usage of this product signifies your acceptance of the Terms of Use.