Abstract Regular Tree Model Checking of Complex Dynamic Data Structures (0)

by A Bouajjani, P Habermehl, A Rogalewicz, T Vojnar, 2006b
Venue:In: SAS’06. Vol. 4134 of LNCS