Automata-Based Verification of Programs with Tree Updates.

Peter Habermehl, Radu Iosif, Toms Vojnar

Browse the full TACAS paper archive.