Really rethinking ‘formal methods’
The work
| Authors | David Lorge Parnas |
|---|---|
| Editors | |
| Type | article |
| Year | 2010 |
| Citekey | parnas2010really |
Where it appeared
| Published in | Computer |
|---|---|
| Volume | 43 |
| Issue | 1 |
| Pages | 28--34 |
Identifiers
| DOI | 10.1109/mc.2010.22 |
|---|
A copy is held
pdf, 1.7 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-16 17:15 UTC |
Filed under
Cite it as
@article{parnas2010really,
title = {Really rethinking ‘formal methods’},
author = {David Lorge Parnas},
year = {2010},
journal = {Computer},
volume = {43},
number = {1},
pages = {28--34},
doi = {10.1109/mc.2010.22},
}
This record lives at https://refs.drheap.org/parnas2010really/ and will keep doing so.