TY  - RPRT
TI  - Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education
AU  - Mansur Khazeev
AU  - Manuel Mazzara
AU  - Daniel De Carvalho
AU  - Hamna Aslam
PY  - 2019
UR  - https://arxiv.org/abs/1906.01430
ID  - 1906.01430
ER  -