2 research outputs found

    Reasoning with Actions in Transaction Logic

    No full text
    corecore