The 2020 Expert Survey on Formal Methods

Hubert Garavel*, Maurice H. Ter Beek, Jaco Van De Pol

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

47 Citations (Scopus)
54 Downloads (Pure)

Fingerprint

Dive into the research topics of 'The 2020 Expert Survey on Formal Methods'. Together they form a unique fingerprint.

Biochemistry, Genetics and Molecular Biology

Psychology

Immunology and Microbiology

Medicine and Dentistry

Computer Science