Lazy theorem proving for bounded model checking over infinite domains (2002)

by Leonardo De Moura , Harald Ruess , Maria Sorea
Citations:74 - 11 self