Improving Computer Security Using Extended Static Checking.

Tue, 01 Jan 2002 00:00:00 +0100

Brian Chess:
Improving Computer Security Using Extended Static Checking. S&P 2002: 160-173