Journal article

Horn clause verification with convex polyhedral abstraction and tree automata-based refinement

B Kafle, JP Gallagher

Computer Languages, Systems & Structures | Published : 2017

Citation metrics