English Frama-C Cited by user Citation bot on 05 Apr 2020 Frama-C stands for Framework for Modular Analysis of C programs. Frama-C is a set of interoperable program analyzers for C programs.
French Sécurité des liens USB Cited by user Philvaugn on 25 Nov 2016 La sécurité des liens USB concerne les périphériques USB (Universal Serial Bus) qui occupent une place importante dans l’univers informatique.