Permission-based verification of red-black trees and their merging
The work
| Title | Permission-based verification of red-black trees and their merging |
|---|---|
| Authors | Lukas Armborst; Marieke Huisman |
| Type | conference paper |
| Year | 2021 |
| Citekey | armborst2021permission |
Where it appeared
| Published in | 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) |
|---|---|
| Publisher | IEEE |
| Pages | 111--123 |
Copy held
| Kind | PDF, 355.3 kB |
|---|---|
| Retrieved | 2026-08-08 |
| Held | local, for personal reference |
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | endorsed |
| Approved | 2026-08-08 |
Cite it as
@inproceedings{armborst2021permission,
title = {Permission-based verification of red-black trees and their merging},
author = {Lukas Armborst and Marieke Huisman},
year = {2021},
booktitle = {2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE)},
pages = {111--123},
publisher = {IEEE},
}
This record lives at https://refs.drheap.org/armborst2021permission/ and will keep doing so.