Construction of Inductive Property Predicates for Mutable Data Structures | IEEE Conference Publication | IEEE Xplore