• bearophile (5/5) Jul 17 2010 "Modular Bug-finding for Integer Overflows in the Large: Sou...

bearophile <bearophileHUGS lycos.com> writes:

By Yannick Moy et al.:
http://research.microsoft.com/apps/pubs/?id=80722

Bye,
bearophile