5 research outputs found

    Proof Styles in Operational Semantics

    No full text
    corecore