Publications
Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Title is I and Author is B. Kafle [Clear All Filters]
.
2016. Interpolant tree automata and their application in Horn clause verification. Theoretical Computer Science - EPTCS. 216:104-117.
ICT-Energy group
