Assertion-level proof representation with under-specification (2003)

Cached

Download Links

by Serge Autexier , Christoph Benzmüller , Armin Fiedler , Helmut Horacek , Bao Quoc Vo
Citations:15 - 7 self