The Most Obscure Arithmetic Run Time Error Contest
http://www.spark-2014.org/entries/detail/the-most-obscure-arithmetic-run-time-error-contest [www.spark-2014.org]
2016-11-28 21:19
One of the hardest parts about proving code correct is figuring out all the things that need to be checked.