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

From MaRDI portal





scientific article; zbMATH DE number 7360143
Language Label Description Also known as
default for all languages
No label defined
    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