Seven myths of formal methods
The work
| Authors | Anthony Hall |
|---|---|
| Editors | |
| Type | article |
| Year | 1990 |
| Citekey | hall1990seven |
Where it appeared
| Published in | IEEE Software |
|---|---|
| Volume | 7 |
| Issue | 5 |
| Pages | 11--19 |
Identifiers
| DOI | 10.1109/52.57887 |
|---|
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-09 15:10 UTC |
Filed under
Cite it as
@article{hall1990seven,
title = {Seven myths of formal methods},
author = {Anthony Hall},
year = {1990},
journal = {IEEE Software},
volume = {7},
number = {5},
pages = {11--19},
doi = {10.1109/52.57887},
}
This record lives at https://refs.drheap.org/hall1990seven/ and will keep doing so.