Bounded relational analysis of free datatypes (2008)

by A Dunets, G Schellhorn, W Reif
Venue:of LNCS