doc/Formal_Verification_of_klibc_with_Frama_C.pdf
