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.
翻译:本卷载有第八次关于“关于核查和合成的非洲之角条款”讲习班的后期工作,这次讲习班实际上由于Covid-19大流行而举行,作为欧洲反恐和防扩散方案的一个附属讲习班。