Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis (Q4994112): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
 
(One intermediate revision by one other user not shown)
label / enlabel / en
 
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis
Property / arXiv ID
 
Property / arXiv ID: 2008.02483 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3047420299 / rank
 
Normal rank
Property / title
 
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis (English)
Property / title: Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis (English) / rank
 
Normal rank

Latest revision as of 09:28, 30 July 2024

scientific article; zbMATH DE number 7360143
Language Label Description Also known as
English
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis
scientific article; zbMATH DE number 7360143

    Statements

    16 June 2021
    0 references
    Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis (English)
    0 references

    Identifiers

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