Identi.ca
Login
Shakthi Kannan
at
2020-01-07T05:23:21Z
HCVS 2020: 7th Workshop on Horn Clauses for Verification and Synthesis, April 26, 2020 Dublin, Ireland https://www.sci.unich.it/hcvs20/