D.: Certified static analysis by abstract interpretation (2009)

by F Besson, D Cachera, T P Jensen, Pichardie
Venue:In: Foundations of Security Analysis and Design. LNCS