Madhavan, Ravichandhran and Komondoor, Raghavan (2011) Null Dereference Verification via Over-approximated Weakest Pre-conditions Analysis. In: ACM Sigplan Notices, 46 (10). pp. 1033-1052.