Cet ouvrage et des milliers d'autres font partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour les lire en ligne
En savoir plus

Partagez cette publication

« Abstract Interpretation–based Formal Verification of Complex Computer Systems » Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology cousot mitedu www.mit.edu/cousot ~ École normale supérieure, Paris, France Patrick.Cousot ensfr www.di.ens.fr/cousot ~ th Minta Martin Lecture, May 13, 2005 th ,Minta Martin Lecture, MIT, May 13, 2005— 1 —ľP. Cousot
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin