Formal Methods: From Academia to Industrial Practice. A Travel Guide
The work
| Title | Formal Methods: From Academia to Industrial Practice. A Travel Guide |
|---|---|
| Authors | Marieke Huisman; Dilian Gurov; Alexander Malkis |
| Type | preprint |
| Year | 2020 |
| Citekey | huisman2020formal |
Where it appeared
| Publisher | arXiv |
|---|
Identifiers
| DOI | 10.48550/arxiv.2002.07279 |
|---|
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
@misc{huisman2020formal,
title = {Formal Methods: From Academia to Industrial Practice. A Travel Guide},
author = {Marieke Huisman and Dilian Gurov and Alexander Malkis},
year = {2020},
publisher = {arXiv},
doi = {10.48550/arxiv.2002.07279},
}
This record lives at https://refs.drheap.org/huisman2020formal/ and will keep doing so.