Personal tools
You are here: Home → VSR → Private → IEEE Computer paper on Verified Software: A Grand Challenge
Navigation
Log in


Forgot your password?
New user?
 
Document Actions

IEEE Computer paper on Verified Software: A Grand Challenge

A copy of a paper to appear in *IEEE Computer* Software Technologies column. The paper is copyright IEEE, so it is restricted to the private area of the wiki for the time being.

Click here to get the file

Size 954.7 kB - File type application/pdf
by Jim Woodcock — last modified 2006-04-03 10:07
« November 2009 »
Su Mo Tu We Th Fr Sa
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30
What's up ?
Be notified when a document is published in this folder or below.
 
Powered by Plone, the Open Source Content Management System

This site conforms to the following standards: