T.: Abstract regular tree model checking of complex dynamic data structures (2006)

by A Bouajjani, P Habermehl, A Rogalewicz, Vojnar
Venue:In: Proceedings of SAS ’06