The 2020 Expert Survey on Formal Methods.

Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol

Browse the full FMICS paper archive.