The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Acceptance of formal methods: Lessons from hardware design
The work
| Authors | David L. Dill; John Rushby |
|---|---|
| Editors | |
| Type | article |
| Year | 1996 |
| Citekey | dill1996acceptance |
Where it appeared
| Published in | IEEE Computer |
|---|---|
| Volume | 29 |
| Pages | 23--24 |
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-24 03:13 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@article{dill1996acceptance,
title = {Acceptance of formal methods: Lessons from hardware design},
author = {David L. Dill and John Rushby},
year = {1996},
journal = {IEEE Computer},
volume = {29},
pages = {23--24},
}
This record lives at https://refs.drheap.org/dill1996acceptance/ and will keep doing so.