Improving Computer Security Using Extended Static Checking

Brian Chess. Improving Computer Security Using Extended Static Checking. In IEEE Symposium on Security and Privacy. pages 160, 2002. [doi]

Authors

Brian Chess

This author has not been identified. Look up 'Brian Chess' in Google