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.
Generating Formal Verification Properties from Natural Language Hardware Specifications, University of California, USA, 2015.
The work
| Authors | C. Bryant |
|---|---|
| Editors | |
| Type | article |
| Year | 2015 |
| Citekey | bryant2015generating |
Where it appeared
| Published in | Bryant, Generating Formal Verification Properties from Natural Language Hardware Specifications, University of Californi |
|---|
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-26 14:43 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@article{bryant2015generating,
title = {Generating Formal Verification Properties from Natural Language Hardware Specifications, University of California, USA, 2015.},
author = {C. Bryant},
year = {2015},
journal = {Bryant, Generating Formal Verification Properties from Natural Language Hardware Specifications, University of Californi},
}
This record lives at https://refs.drheap.org/bryant2015generating/ and will keep doing so.