L.: A general framework for certifying gcs and their mutators (2007)

by A McCreight, Z Shao, C Lin, Li
Venue:In: PLDI ’07