Georges, Aïna Linn ; Guéneau, Armaël ; Van Strydonck, Thomas...
Georges , A L , Guéneau , A , Van Strydonck , T , Timany , A , Trieu , A , Devriese , D & Birkedal , L 2021 , Cap' ou pas cap' ?: Preuve de programmes pour une machine à capacités en présence de code inconnu . i Journées Francophones des Langages Applicatifs 2021 . Institut de Recherche en Informatique Fondamentale , Journées Francophones des Langages Applicatifs 2021 , 07/04/2021 ..  , 2021