Automatic Generation of Polynomial Loop Invariants (Q4657335)

From MaRDI portal
scientific article; zbMATH DE number 2145026
Language Label Description Also known as
English
Automatic Generation of Polynomial Loop Invariants
scientific article; zbMATH DE number 2145026

    Statements

    Identifiers

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