Crossmark

Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety

Published Online: 2021-10-01

Published Print: 2021-10

Authors

Quesel, Jan-David

Mitsch, Stefan

Loos, Sarah

Aréchiga, Nikos

Platzer, André
License Information

Text and Data Mining valid from 2021-10-01

Version of Record valid from 2021-10-01
More Information

Article History

First Online: 1 October 2021

Free to read: This content has been made available to all.

Document is current