TY  - RPRT
TI  - Boost the Impact of Continuous Formal Verification in Industry
AU  - Felipe R. Monteiro
AU  - Mikhail R. Gadelha
AU  - Lucas C. Cordeiro
PY  - 2019
UR  - https://arxiv.org/abs/1904.06152
ID  - 1904.06152
ER  -