No label defined (Q5274886)

From MaRDI portal
scientific article; zbMATH DE number 6740638
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 6740638

    Statements

    0 references
    0 references
    6 July 2017
    0 references
    floating-point arithmetic
    0 references
    formal proof
    0 references
    program verification
    0 references
    Coq
    0 references
    0 references
    0 references
    0 references

    Identifiers

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