Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism (Q2948549)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism
scientific article

    Statements

    Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism (English)
    0 references
    1 October 2015
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references