TY  - RPRT
TI  - Lemma Functions for Frama-C: C Programs as Proofs
AU  - Grigoriy Volkov
AU  - Mikhail Mandrykin
AU  - Denis Efremov
PY  - 2018
UR  - https://arxiv.org/abs/1811.05879
ID  - 1811.05879
ER  -