Pierre Wilke Laboratoire Confidentialté, Intégrité, Disponibilité, Répartition Site WEB Accueil Chercheurs Pierre Wilke Publications (22) Catégorie - Tout -Article dans une revueArticle de blog scientifiqueAutre publication scientifiqueBrevetCarteChapitre d'ouvrageCommunication dans un congrèsCoursCREPORTDocument associé à des manifestations scientifiquesETABTHESEHDRIMGLogicielMémoireNotice d'encyclopédie ou de dictionnaireN° spécial de revueOuvragePoster de conférenceProceedingsRapportSONThèseTRADVidéo Communication dans un congrès 01/01/2014 A Precise and Abstract Memory Model for C Using Symbolic Values Frédéric Besson , Sandrine Blazy , Pierre Wilke , Pierre Wilke Mémoire 25/07/2013 Analyse statique de code dynamique Pierre Wilke , Pierre Wilke Première page « Premier Page précédente ‹‹ Page 1 Page 2 Page courante 3
Communication dans un congrès 01/01/2014 A Precise and Abstract Memory Model for C Using Symbolic Values Frédéric Besson , Sandrine Blazy , Pierre Wilke , Pierre Wilke
