The 2020 expert survey on formal methods
The work
| Title | The 2020 expert survey on formal methods |
|---|---|
| Authors | Hubert Garavel; Maurice H. ter Beek; Jaco van de Pol |
| Type | conference paper |
| Year | 2020 |
| Citekey | garavel2020expert |
Where it appeared
| Published in | 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS) |
|---|---|
| Publisher | Springer |
| Volume | 12327 |
| Pages | 3--69 |
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | endorsed |
| Approved | 2026-08-07 |
Cite it as
@inproceedings{garavel2020expert,
title = {The 2020 expert survey on formal methods},
author = {Hubert Garavel and Maurice H. ter Beek and Jaco van de Pol},
year = {2020},
booktitle = {25th International Conference on Formal Methods for Industrial Critical Systems (FMICS)},
volume = {12327},
pages = {3--69},
publisher = {Springer},
}
This record lives at https://refs.drheap.org/garavel2020expert/ and will keep doing so.