HCVS 2021Posted in VerificationHorn Clauses for Verification and Synthesis Event Date: Mar 28, 2021 - Mar 28, 2021 Posted inLocation: Luxembourg Deadline: Feb 19, 2021
