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.
Ten years of Hoare's logic, a survey
The work
| Authors | K. R. Apt |
|---|---|
| Editors | F. V. Jensen; B. H. Mayoh; K. K. M\oller |
| Type | inproceedings |
| Year | 1979 |
| Citekey | apt1979ten |
Where it appeared
| Published in | Proceedings of the 5th Scandinavian Logic Symposium |
|---|---|
| Publisher | Aalborg University Press |
| Pages | 1--44 |
Related
| Superseded by | apt1981years |
|---|
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-24 09:00 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@inproceedings{apt1979ten,
title = {Ten years of Hoare's logic, a survey},
author = {K. R. Apt},
editor = {F. V. Jensen and B. H. Mayoh and K. K. M\oller},
year = {1979},
booktitle = {Proceedings of the 5th Scandinavian Logic Symposium},
publisher = {Aalborg University Press},
pages = {1--44},
}
This record lives at https://refs.drheap.org/apt1979ten/ and will keep doing so.