3 research outputs found

    Angelic termination in Dijkstra's calculus

    No full text
    corecore