Conference Proceedings

Interpolant tree automata and their application in Horn clause verification

B Kafle, JP Gallagher

Electronic Proceedings in Theoretical Computer Science | Published : 2016

DOI: 10.4204/EPTCS.216.6

Citation metrics

1Scopus
2Dimensions