HCVS@ETAPS Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021) | 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021) | 28 Mar 2021 | Luxemburgo Archivo Digital UPM Universidad Politécnica de Madrid
Theory and Practice of Logic Programming, ISSN 1475-3081, 2021, Vol. 21, No. 2 HCVS 2021 : Horn Clauses for Verification and Synthesis | 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS) | 28 Mar 2021 | Luxemburgo Archivo Digital UPM Universidad Politécnica de Madrid instname