Forester: Shape Analysis Using Tree Automata - (Competition Contribution).

Luks Holk, Martin Hruska, Ondrej Lengl, Adam Rogalewicz, Jir Simcek, Toms Vojnar

Browse the full TACAS paper archive.