3 research outputs found

    A development calculus for specifications

    No full text
    corecore