TY  - RPRT
TI  - New Opportunities for Integrated Formal Methods
AU  - Mario Gleirscher
AU  - Simon Foster
AU  - Jim Woodcock
PY  - 2019
DO  - 10.1145/3357231
UR  - https://arxiv.org/abs/1812.10103
ID  - 1812.10103
ER  -