Verification by abstract interpretation (2003)

by P Cousot
Venue:In Verification: Theory and Practice, LNCS 2772