DMCA

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

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