TY  - RPRT
TI  - Towards Verification of Constituent Systems through Automated Proof
AU  - Luis Diogo Couto
AU  - Simon Foster
AU  - Richard Payne
PY  - 2014
UR  - https://arxiv.org/abs/1404.7792
ID  - 1404.7792
ER  -