Email Address * *
Name
Subject *
Message * Practical static analysis framework for inference of security-related program properties. - 1244616001 - 9781244616004