conf.researchr.org / Mario Gleirscher
Registered user since Sat 21 Aug 2021
Name:Mario Gleirscher
Country:Germany
Affiliation:University of Bremen
Contributions
| ESEC/FSE 2021 | Author of Formal methods in dependable systems engineering: a survey of professionals from Europe and North America within the Journal First-track |