Notes on Recent Achievements in Proving Stability using KeYmaeraX

Artikel › Journalartikel › 2021

Zitation

Baar, Thomas; Schulte, Horst: Notes on Recent Achievements in Proving Stability using KeYmaeraX. In: Modeling and Analysis of Information Systems 28, 4. (2021), S. 348-358.

ISSN

2313-5417

Link

https://doi.org/10.18255/1818-1015-2021-4-326-336

Zitieren

BibTeX / RIS