Radhia Cousot (Q16930398)
Inventor of abstract interpretation
Language: