Items where authors include "Marmsoler, Diego"
Jump to: Article
Number of items: 1.
Article
Gleirscher, Mario orcid.org/0000-0002-9445-6863 and Marmsoler, Diego (2020) Formal Methods in Dependable Systems Engineering:A Survey of Professionals from Europe and North America. Empirical Software Engineering. ISSN 1382-3256