Improving computer security using extended static checking
2001 ◽
Keyword(s):