The bibliographic entry was discovered and compiled by a machine, and let through without anybody vouching for it. The publication itself is the authors' own work — this badge says nothing about it.
Hoare logic in the abstract
The work
| Title | Hoare logic in the abstract |
|---|---|
| Authors | Ursula Martin; Erik A. Mathiesen; Paulo Oliva |
| Type | conference paper |
| Year | 2006 |
| Citekey | martin2006hoare |
Where it appeared
| Published in | 20th International Workshop on Computer Science Logic (CSL) |
|---|---|
| Publisher | Springer |
| Volume | 4207 |
| Pages | 501--515 |
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | not denied |
| Approved | 2026-08-07 |
Cite it as
@inproceedings{martin2006hoare,
title = {Hoare logic in the abstract},
author = {Ursula Martin and Erik A. Mathiesen and Paulo Oliva},
year = {2006},
booktitle = {20th International Workshop on Computer Science Logic (CSL)},
volume = {4207},
pages = {501--515},
publisher = {Springer},
}
This record lives at https://refs.drheap.org/martin2006hoare/ and will keep doing so.