Quantified invariants via syntax-guided synthesis (Q6194577)

From MaRDI portal
Revision as of 07:10, 10 July 2024 by Import240710060729 (talk | contribs) (Added link to MaRDI item.)
scientific article; zbMATH DE number 7805536
Language Label Description Also known as
English
Quantified invariants via syntax-guided synthesis
scientific article; zbMATH DE number 7805536

    Statements

    title
    Quantified invariants via syntax-guided synthesis (English)
    0 references
    author
    Grigory Fedyukovich
    0 references
    Sumanth Prabhu
    0 references
    K. Madhukar
    0 references
    Aarti Gupta
    0 references
    publication date
    16 February 2024
    0 references

    Identifiers

    zbMATH DE Number
    7805536
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6194577&oldid=35688575"
    Powered by MediaWiki