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.
Verifying x86 Instruction Implementations
The work
| Authors | S. Goel; A. Slobodová; R. Sumners; S. Swords |
|---|---|
| Editors | |
| Type | misc |
| Year | 2019 |
| Also known as | anon2019verifyingb, goel2019verifyingb |
| Citekey | goel2019verifying |
Where it appeared
| Publisher | arXiv |
|---|
Identifiers
| arXiv | 1912.10285 from its doi |
|---|---|
| DOI | 10.48550/arxiv.1912.10285 |
How it got here
| How it got here | agent via datacite |
|---|---|
| Added | 2026-10-26 04:41 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{goel2019verifying,
title = {Verifying x86 Instruction Implementations},
author = {S. Goel and A. Slobodová and R. Sumners and S. Swords},
year = {2019},
publisher = {arXiv},
doi = {10.48550/arxiv.1912.10285},
}
This record lives at https://refs.drheap.org/goel2019verifying/ and will keep
doing so. It used to be called anon2019verifyingb, goel2019verifyingb, and those addresses still resolve to this one.