2 research outputs found

    Path directed abstraction and refinement in SAT-based design debugging

    Full text link
    corecore