TY  - RPRT
TI  - Static and Dynamic Verification of Relational Properties on Self-Composed C Code
AU  - Lionel Blatter
AU  - Nikolai Kosmatov
AU  - Pascale Le Gall
AU  - Virgile Prevosto
AU  - Guillaume Petiot
PY  - 2018
UR  - https://arxiv.org/abs/1801.06876
ID  - 1801.06876
ER  -