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

View PDF

Download Links

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