Issue No. 10 - October (2006 vol. 39)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2006.340
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.
software engineering, verified software grand challenge
J. Woodcock, "First Steps in the Verified Software Grand Challenge," in Computer, vol. 39, no. , pp. 57-64, 2006.