Systemes d'effet et interpretation abstraite pour l'analyse de flot de controle (1994)

by Y-M Tang