Trustworthy Software: Why we need it, Why we don't have it, How we can get it.

John McLean

Browse the full COMPSAC paper archive.