User: Guest  Login
If you experience problems opening the document, please try this link.
Document type:
Zeitschriftenaufsatz
Author(s):
Gleirscher, Mario; Marmsoler, Diego
Title:
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
Journal title:
Empirical Software Engineering
Year:
2020
Journal volume:
25
Journal issue:
6
Pages contribution:
4473-4546
Fulltext / DOI:
doi:10.1007/s10664-020-09836-5
Publisher:
Springer Science and Business Media LLC
E-ISSN:
1382-32561573-7616
Date of publication:
09.09.2020
 BibTeX