Program correctness on finite fields (Q2563951)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Program correctness on finite fields
scientific article

    Statements

    title
    Program correctness on finite fields (English)
    0 references
    author
    László Csirmaz
    0 references
    publication date
    8 April 1997
    0 references
    zbMATH Keywords
    program correctness
    0 references
    Floyd-Hoare-Naur method
    0 references

    Identifiers

    DOI
    10.1007/BF02341087
    0 references
    zbMATH DE Number
    961019
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2563951&oldid=34172429"
    Powered by MediaWiki