- Author: Volodymyr Kindratenko (eds.)
- Language: English
- Year: 2014
- Author: Ken'iti Kido (auth.)
- Language: English
- Year: 2015
- Author: Ken'iti Kido (auth.)
- Language: English
- Year: 2015
- Author: James E. Gentle (auth.)
- Language: English
- Year: 2009
- Author: Jim Caldwell Douglas K. S. Ng (eds.)
- Language: English
- Year: 2004
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities
pdf
- Author: Axel Simon (eds.)
- Language: English
- Year: 2008
- Author: Olli Mali Pekka Neittaanmäki Sergey Repin (auth.)
- Language: English
- Year: 2014