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.
A Proof-Producing Translator for Verilog Development in HOL
The work
| Authors | Andreas Loow; Magnus O. Myreen |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 2019 |
| Citekey | loow2019proofproducing |
Where it appeared
| Published in | 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) |
|---|---|
| Publisher | IEEE |
| Pages | 99--108 |
Identifiers
| DOI | 10.1109/formalise.2019.00020 |
|---|
Access
| Landing page | https://doi.org/10.1109/formalise.2019.00020 |
|---|
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-10-26 04:21 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@inproceedings{loow2019proofproducing,
title = {A Proof-Producing Translator for Verilog Development in HOL},
author = {Andreas Loow and Magnus O. Myreen},
year = {2019},
booktitle = {2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE)},
publisher = {IEEE},
pages = {99--108},
doi = {10.1109/formalise.2019.00020},
}
This record lives at https://refs.drheap.org/loow2019proofproducing/ and will keep doing so.