loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
30th Annual IEEE/NASA Software Engineering Workshop SEW-30 (SEW'06)
Columbia, Maryland
April 24-April 28
ISBN: 0-7695-2624-1
ASCII Text
x 
 
Jim Woodcock, "First Steps in the Verified Software Grand Challenge," Software Engineering Workshop, Annual IEEE/NASA Goddard, pp. 203-206, 30th Annual IEEE/NASA Software Engineering Workshop SEW-30 (SEW'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/SEW.2006.17,
author = {Jim Woodcock},
title = {First Steps in the Verified Software Grand Challenge},
journal ={Software Engineering Workshop, Annual IEEE/NASA Goddard},
volume = {0},
year = {2006},
issn = {1550-6215},
pages = {203-206},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEW.2006.17},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Workshop, Annual IEEE/NASA Goddard
TI - First Steps in the Verified Software Grand Challenge
SN - 1550-6215
SP203
EP206
A1 - Jim Woodcock,
PY - 2006
KW - null
VL - 0
JA - Software Engineering Workshop, Annual IEEE/NASA Goddard
ER -
 
Jim Woodcock, University of York, UK
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.
Citation:
Jim Woodcock, "First Steps in the Verified Software Grand Challenge," sew, pp.203-206, 30th Annual IEEE/NASA Software Engineering Workshop SEW-30 (SEW'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.