Program analysis too loopy? Set the loops aside

Eric Larson. Program analysis too loopy? Set the loops aside. IEE Proceedings - Software, 7(3), 2013. [doi]

Abstract

Abstract is missing.