Skip to Main content Skip to Navigation
Conference papers

The 2020 Expert Survey on Formal Methods

Hubert Garavel 1 Maurice ter Beek Jaco van de Pol
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-03082818
Contributor : Hubert Garavel <>
Submitted on : Friday, December 18, 2020 - 5:31:29 PM
Last modification on : Tuesday, December 22, 2020 - 3:33:52 AM

File

Vignette du document
Garavel-terBeek-vandePol-20.pd...
Files produced by the author(s)

Identifiers

Collections

LIG_MFML_CONVECS | CONVECS | UGA | CNRS | INRIA-MECSCI | INRIA | LIG

Citation

Hubert Garavel, Maurice ter Beek, Jaco van de Pol. The 2020 Expert Survey on Formal Methods. FMICS 2020: 25th International Conference on Formal Methods for Industrial Critical Systems, Sep 2020, Vienna, Austria. pp.3-69, ⟨10.1007/978-3-030-58298-2_1⟩. ⟨hal-03082818⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

34

Files downloads

282

 

Contact                    Legal Notice                    Personal Data