Proceedings First Workshop on Horn Clauses for Verification and Synthesis (Q5114415)

From MaRDI portal
scientific article; zbMATH DE number 7214001
Language Label Description Also known as
English
Proceedings First Workshop on Horn Clauses for Verification and Synthesis
scientific article; zbMATH DE number 7214001

    Statements

    0 references
    23 June 2020
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Proceedings First Workshop on Horn Clauses for Verification and Synthesis (English)
    0 references