Abstract interpretation and application to logic programs (1992)

by Patrick Cousot , Radhia Cousot
Citations:286 - 14 self