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 mechanised proof of correctness of a simple counter
The work
| Authors | Avra Cohn; Mike Gordon |
|---|---|
| Editors | |
| Type | techreport |
| Year | 1986 |
| Citekey | cohn1986mechanised |
Where it appeared
| Publisher | Technical Report 94 |
|---|---|
| School | Technical Report 94 |
Cite it as
@techreport{cohn1986mechanised,
title = {A mechanised proof of correctness of a simple counter},
author = {Avra Cohn and Mike Gordon},
year = {1986},
publisher = {Technical Report 94},
school = {Technical Report 94},
}
This record lives at https://refs.drheap.org/cohn1986mechanised/ and will keep doing so.