Contextualized Abstraction for Assertion-Level Theorem Proving.

Quoc Bao Vo

Browse the full ECAI paper archive.