Pierre Wilke Laboratoire Confidentialté, Intégrité, Disponibilité, Répartition Accueil Chercheurs Pierre Wilke Publications (21) - Tout -Article dans une revueArticle de blog scientifiqueAutre publication scientifiqueBrevetCarteChapitre d'ouvrageCommunication dans un congrèCoursDocument associé à des manifestations scientifiquesHDRLogicielMémoireNotice d'encyclopédie ou de dictionnaireN° spécial de revueOuvragePoster de conférenceProceedingsRapportThèseVidéo Article dans une revue 28/11/2024 An abstract stack based approach to verified compositional compilation to machine code Yuting Wang , Pierre Wilke , Zhong Shao Première page « Premier Page précédente ‹‹ Page 1 Page 2 Page courante 3
Article dans une revue 28/11/2024 An abstract stack based approach to verified compositional compilation to machine code Yuting Wang , Pierre Wilke , Zhong Shao
