@article{bfc5ded347424869866cde9427fd22ac,
title = "Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety (International Journal on Software Tools for Technology Transfer, (2016), 18, 1, (67-91), 10.1007/s10009-015-0367-0)",
author = "Quesel, \{Jan David\} and Stefan Mitsch and Sarah Loos and Nikos Ar{\'e}chiga and Andr{\'e} Platzer",
note = "Publisher Copyright: {\textcopyright} The Author(s) 2021.",
year = "2021",
month = oct,
doi = "10.1007/s10009-021-00643-x",
language = "English",
volume = "23",
pages = "827",
journal = "International Journal on Software Tools for Technology Transfer",
issn = "1433-2779",
number = "5",
}