On the Need to Support Vectors and Matrixes in KeYmaera
Konferenzbeitrag › Konferenzpaper
› 2021
Zitation
Konferenzbeitrag Full Paper
Schulte, Horst; Baar, Thomas: On the Need to Support Vectors and Matrixes in KeYmaera. In: Proceedings of XII. Workshop Program Semantics, Specification and Verification: Theory and Applications PSSV-2021 . Hg. von A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Akademgorodok, Novosibirsk, Russia. Akademgorodok, Novosibirsk, Russia: 2021, S. 1-8.