Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis

09/09/2021
by   Hossein Hojjat, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset