Handling polymorphism in automated deduction (2007)

Cached

Download Links

by Jean-françois Couchot , Stéphane Lescuyer
Venue:In 21th International Conference on Automated Deduction (CADE-21), volume 4603 of LNCS (LNAI
Citations:12 - 1 self