Sound automation of magic wands
The work
| Title | Sound automation of magic wands |
|---|---|
| Authors | Thibault Dardinier; Gaurav Parthasarathy; Noé Weeks; Peter Müller; Alexander J. Summers |
| Type | conference paper |
| Year | 2022 |
| Citekey | dardinier2022sound |
Where it appeared
| Published in | 34th International Conference on Computer Aided Verification (CAV) |
|---|---|
| Publisher | Springer |
| Volume | 13372 |
| Pages | 130--151 |
Copy held
| Kind | PDF, 499.0 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{dardinier2022sound,
title = {Sound automation of magic wands},
author = {Thibault Dardinier and Gaurav Parthasarathy and Noé Weeks and Peter Müller and Alexander J. Summers},
year = {2022},
booktitle = {34th International Conference on Computer Aided Verification (CAV)},
volume = {13372},
pages = {130--151},
publisher = {Springer},
}
This record lives at https://refs.drheap.org/dardinier2022sound/ and will keep doing so.