TY  - RPRT
TI  - Formal Methods in Dependable Systems Engineering: A Survey of Professionals from Europe and North America
AU  - Mario Gleirscher
AU  - Diego Marmsoler
PY  - 2020
DO  - 10.1007/s10664-020-09836-5
UR  - https://arxiv.org/abs/1812.08815
ID  - 1812.08815
ER  -