LNCS 2988 - A Tool For Checking ANSI-C Programs.pdf [Free Download!]