HALO (Q2931819)

From MaRDI portal
scientific article
Language Label Description Also known as
English
HALO
scientific article

    Statements

    HALO (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    27 November 2014
    0 references
    first-order logic
    0 references
    static contract checking
    0 references
    0 references
    0 references

    Identifiers

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