Propriétés Typestates avec Frama-C

HAL (Le Centre pour la Communication Scientifique Directe) 2026 Open access

Read full text
Authors: Sébastien Patte, Virgile Prévosto
Cited by: 0

Fields of Study & Subjects

Philosophy Sociology Political Theory Diverse Cultural and Historical Studies China's Global Influence and Migration

Publication details

Journal / source
HAL (Le Centre pour la Communication Scientifique Directe)
Publication date
27 January 2026
Language
FR