Being and Change: Reasoning About Invariance
The work
| Title | Being and Change: Reasoning About Invariance |
|---|---|
| Authors | Frank S. de Boer; Stijn de Gouw |
| Type | article |
| Year | 2015 |
| Citekey | boer2015being |
Where it appeared
| Published in | Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings |
|---|---|
| Pages | 191--204 |
Copy held
| Kind | PDF, 246.9 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
@article{boer2015being,
title = {Being and Change: Reasoning About Invariance},
author = {Frank S. de Boer and Stijn de Gouw},
year = {2015},
journal = {Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings},
pages = {191--204},
}
This record lives at https://refs.drheap.org/boer2015being/ and will keep doing so.