This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Mario Gleirscher
A grouping.
Mario Gleirscher: where formal methods stand - surveys of integrated formal methods and of dependable systems engineering - and whether every computer scientist needs to know them.
5 references
Does Every Computer Scientist Need to Know Formal Methods?
Manfred Broy and others (2024) · Formal Aspects of Computing · Association for Computing Machinery
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
Mario Gleirscher and others (2020) · Empirical Software Engineering
New opportunities for integrated formal methods
Mario Gleirscher and others (2019) · ACM Computing Surveys (CSUR)
Safety Practice and its Practitioners: Exploring a Diverse Profession
Mario Gleirscher and others (2018)
Supplementary Material for "Formal methods in dependable systems engineering: a survey of professionals from Europe and North America"
Gleirscher and others (2018) · Zenodo (CERN European Organization for Nuclear Research) · European Organization for Nuclear Research