A Tool for Checking ANSI-C Programs

Clarke, Edmund, Kroening, Daniel, Lerda, Flavio·2004·Lecture Notes in Computer Science

DOI 10.1007/978-3-540-24730-2_15