The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.10 - October (2006 vol.39)
pp: 57-64
Jim Woodcock , University of York
ABSTRACT
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, October 2006, doi:10.1109/MC.2006.340
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool