La lecture à portée de main
Suivre
Documents
La vérification des programmes par interprétation abstraite
Patrick Cousot
Documents
Savoirs
La vérification des programmes par interprétation abstraite
Patrick Cousot
71 pages
Français
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productAuthors}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productAuthors}}
{{productPages}}
{{productLanguageIsoCode}}