Analyse statique par interprétation abstraite de propriétés temporelles des programmes

Caterina Urban