Login
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Gleirscher, Mario; Marmsoler, Diego
- Titel:
- Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
- Zeitschriftentitel:
- Empirical Software Engineering
- Jahr:
- 2020
- Band / Volume:
- 25
- Heft / Issue:
- 6
- Seitenangaben Beitrag:
- 4473-4546
- Volltext / DOI:
- doi:10.1007/s10664-020-09836-5
- Verlag / Institution:
- Springer Science and Business Media LLC
- E-ISSN:
- 1382-32561573-7616
- Publikationsdatum:
- 09.09.2020
BibTeX