HCVS/VPT@ETAPS
Keyphrases
Publications
2022
volume 373, 2022
- Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation, HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification and Program TransformationMunich, Germany, 3rd April 2022. HCVS/VPT@ETAPS 373 (2022)