Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Semantics and Abstract Interpretation
[go: Go Back, main page]

Sémantique et Interprétation Abstraite
Semantics and Abstract Interpretation

Responsable / Scientific leader : Patrick Cousot

Publications des membres de l'équipe (Droits d'auteurs).
Publications of the members of the group (Copyright Notice).

Retour à / back to: Index, Institutions, Enseignement / Teaching, Recherche / Research, Services

Email: cousot@di.ens.fr, cousotp@acm.org

Dernière mise à jour / Last modified : Friday, 13-Dec-96 13:59:20 MET