Verification of heap manipulating programs with ordered data by extended forest automata. (2013)

by P A Abdulla, L Holık, B Jonsson, O Lengal, C Q Trinh, T Vojnar
Venue:In ATVA,