HCVS 2019Posted in Verification6th Workshop on Horn Clauses for Verification and Synthesis Event Date: Apr 07, 2019 - Apr 07, 2019 Posted inLocation: Prague, Czech Republic Deadline: Feb 15, 2019
