Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis
published by EPTCS
in 2021
in Informatics Engineering
and research's language is
English
Download
Abstract in English
This volume contains the post-proceedings of the 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS), which took place virtually due to Covid-19 pandemic as an affiliated workshop of ETAPS.