Rapports d'activité quadriennaux de l'équipe « Sémantique et interprétation abstraite » /
Quadriennal activity reports of the group “Semantics and Abstract Interpretation” :
Prof.
Patrick COUSOT
Rapport LIENS 1993
(
pdf
)
Rapport LIENS 1995
(
pdf
)
Rapport LIENS 1997
(
pdf
)
Rapport LIENS 2001
(
pdf
)
Rapport LIENS 2005
(
pdf
)