Improving computer security using extended static checking

• Authors:

• Brian Vantuyl Chess;F. Joel Ferguson

• Affiliations:

• -;-

• Venue:
• Improving computer security using extended static checking
• Year:
• 2002