Workshop on Horn Clauses for Verification and Synthesis (7. : 2020 : Dublin)
Der Workshop fand aufgrund der COVID-19-Pandemie nicht statt, die Proceedings wurden jedoch veröffentlicht
Der Workshop fand aufgrund der COVID-19-Pandemie nicht statt, die Proceedings wurden jedoch veröffentlicht