Interpolant tree automata and their application in Horn clause verification

Bishoksan Kafle, John Patrick Gallagher

Research output: Contribution to journalConference articlepeer-review

Filter
Finished

Search results