Efficient SAT-based bounded model checking for software verification
scientific article; zbMATH DE number 5349280
scientific article