@inproceedings{86e6cc4919b4477c966aec4dfccfbfd7,
title = "Being and Change: Reasoning About Invariance",
author = "Boer, {Frank S. de} and Gouw, {Stijn de}",
year = "2015",
doi = "10.1007/978-3-319-23506-6_13",
language = "English",
isbn = "978-3-319-23505-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "191--204",
editor = "{Roland Meyer} and {Andr{\'e} Platzer} and {Heike Wehrheim}",
booktitle = "Correct System Design",
address = "United States",
edition = "1",
}