loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
First Steps in the Verified Software Grand Challenge
October 2006 (vol. 39 no. 10)
pp. 57-64
ASCII Text
x 
 
Jim Woodcock, "First Steps in the Verified Software Grand Challenge," Computer, vol. 39, no. 10, pp. 57-64, October, 2006.
 
 
BibTex
x
 
@article{ 10.1109/MC.2006.340,
author = {Jim Woodcock},
title = {First Steps in the Verified Software Grand Challenge},
journal ={Computer},
volume = {39},
number = {10},
issn = {0018-9162},
year = {2006},
pages = {57-64},
doi = {http://doi.ieeecomputersociety.org/10.1109/MC.2006.340},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - Computer
TI - First Steps in the Verified Software Grand Challenge
IS - 10
SN - 0018-9162
SP57
EP64
EPD - 57-64
A1 - Jim Woodcock,
PY - 2006
KW - software engineering
KW - verified software grand challenge
VL - 39
JA - Computer
ER -
 
Jim Woodcock, University of York
The computer science research community is collaborating to develop verification technology that will demonstrably enhance the productivity and reliability with which software is designed, developed, integrated, and maintained.
Index Terms:
software engineering, verified software grand challenge
Citation:
Jim Woodcock, "First Steps in the Verified Software Grand Challenge," Computer, vol. 39, no. 10, pp. 57-64, Oct. 2006, doi:10.1109/MC.2006.340
Usage of this product signifies your acceptance of the Terms of Use.