This volume contains the joint post-proceedings of the 9th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2022) and the 10th Workshop on Verification and Program Transformation (VPT 2022), which took place in Munich, Germany on April 3, 2022, as affiliated workshops of the European Joint Conferences on Theory and Practice of Software (ETAPS). The two workshops were held in-person, also allowing virtual attendance and some remote presentations.
Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation
Maurizio Proietti
2022
Abstract
This volume contains the joint post-proceedings of the 9th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2022) and the 10th Workshop on Verification and Program Transformation (VPT 2022), which took place in Munich, Germany on April 3, 2022, as affiliated workshops of the European Joint Conferences on Theory and Practice of Software (ETAPS). The two workshops were held in-person, also allowing virtual attendance and some remote presentations.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
EPTCS 373_ Horn Clauses for Verification and Synthesis _ Verification and Program Transformation.pdf
accesso aperto
Descrizione: Frontmatter
Tipologia:
Versione Editoriale (PDF)
Licenza:
Creative commons
Dimensione
162.61 kB
Formato
Adobe PDF
|
162.61 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
