Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol. The 2020 Expert Survey on Formal Methods. In Maurice H. ter Beek, Dejan Nickovic, editors, Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings. Volume 12327 of Lecture Notes in Computer Science, pages 3-69, Springer, 2020. [doi]
Abstract is missing.