Courses of
Patrick COUSOT
(
copyright notice
)
2011/12
« Interprétation abstraite : application à la vérification et à l'analyse statique » /
« Abstract interpretation: application to verification and static analysis »
(
Présentation du cours/syllabus
,
M.P.R.I.
,
M2
,
2.6
)
Access rights:
Si vous n'avez pas accès aux pages référencées ci-dessus, écrire à
Patrick
Cousot
ens
fr
pour obtenir les droits d'accès;
If you don't have permission to access the above pages on this server, please email to
Patrick
Cousot
ens
fr
.
Slide formats
![[.]](./icons/full_stop.png){kind=icon}
Cousot![[@]](./icons/commercial_at.png){kind=icon}
ensfr
pour obtenir les droits d'accès;
Cousotensfr.
Cousotensfr
pour obtenir les droits d'accès;
Cousotensfr.