2 research outputs found

    Local reasoning for abstraction and sharing

    No full text
    corecore