DaftarIsitemplate

Call Number

SEM-281

Title

Lazy theorem proving for bounded model checking over infinite domains, Hal. 438-455

Author

Leonardo de Moura, Harald Rueb, Maria Sorea;

Publisher

Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002

Subject

Location