Techniques for Trusted Software Engineering.

Premkumar T. Devanbu, Philip W. L. Fong, Stuart G. Stubblebine

Browse the full ICSE paper archive.