1 research outputs found

    When are Software Verification Results valid for Approximate Hardware?

    No full text
    corecore