Tree Automata-Based Refinement with Application to Horn Clause Verification
2016 ◽
Vol 216
◽
pp. 3-3
2016 ◽
Vol 216
◽
pp. 104-117
◽
2017 ◽
Vol 47
◽
pp. 2-18
◽
2004 ◽
Vol 15
(6)
◽
pp. 1435-1449
◽