Conference Proceedings

Interpolant tree automata and their application in Horn clause verification

B Kafle, JP Gallagher

Electronic Proceedings in Theoretical Computer Science | Published : 2016

Citation metrics