3 research outputs found

    A logical framework for software proof reuse

    No full text
    corecore