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

Pages personnelles des membres de l'équipe.
Home pages of the members of the group.
Retour à / back to: Index, Institutions, Enseignement / Teaching, Recherche / Research, Services
Email: cousot@di.ens.fr, cousotp@acm.org
Dernière mise à jour / Last modified : Saturday, 10-Mar-2007 14:30:10 CET