Gobra: Modular specification and verification of go programs
The work
| Title | Gobra: Modular specification and verification of go programs |
|---|---|
| Authors | Felix A. Wolf; Linard Arquint; Martin Clochard; Wytse Oortwijn; João C. Pereira; Peter Müller |
| Type | conference paper |
| Year | 2021 |
| Citekey | wolf2021gobra |
Where it appeared
| Published in | 33rd International Conference on Computer Aided Verification (CAV) |
|---|---|
| Publisher | Springer |
| Volume | 12759 |
| Pages | 367--379 |
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-07 |
Cite it as
@inproceedings{wolf2021gobra,
title = {Gobra: Modular specification and verification of go programs},
author = {Felix A. Wolf and Linard Arquint and Martin Clochard and Wytse Oortwijn and João C. Pereira and Peter Müller},
year = {2021},
booktitle = {33rd International Conference on Computer Aided Verification (CAV)},
volume = {12759},
pages = {367--379},
publisher = {Springer},
}
This record lives at https://refs.drheap.org/wolf2021gobra/ and will keep doing so.