Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
Research article (Empirical Software Engineering, 2020) · cited 52× · AI/ML