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.
Get Rid of Inline Assembly through Verification-Oriented Lifting
The work
| Authors | Frédéric Recoules; Sébastien Bardin; Richard Bonichon; Laurent Mounier; Marie-Laure Potet |
|---|---|
| Editors | |
| Type | misc |
| Year | 2019 |
| Also known as | anon2019get |
| Citekey | recoules2019get |
Where it appeared
| Publisher | IEEE |
|---|
Identifiers
| arXiv | 1903.06407 from its landing_page_url |
|---|---|
| DOI | 10.1109/ase.2019.00060 |
Access
| Landing page | http://arxiv.org/abs/1903.06407 |
|---|---|
| Free full text | https://arxiv.org/pdf/1903.06407 |
How it got here
| How it got here | agent via unpaywall |
|---|---|
| Added | 2026-10-27 05:54 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{recoules2019get,
title = {Get Rid of Inline Assembly through Verification-Oriented Lifting},
author = {Frédéric Recoules and Sébastien Bardin and Richard Bonichon and Laurent Mounier and Marie-Laure Potet},
year = {2019},
publisher = {IEEE},
doi = {10.1109/ase.2019.00060},
}
This record lives at https://refs.drheap.org/recoules2019get/ and will keep
doing so. It used to be called anon2019get, and those addresses still resolve to this one.