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

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